diff options
Diffstat (limited to 'src/context/cdinsert_hashmap.h')
| -rw-r--r-- | src/context/cdinsert_hashmap.h | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/src/context/cdinsert_hashmap.h b/src/context/cdinsert_hashmap.h index 1c8f94143..b65784ddf 100644 --- a/src/context/cdinsert_hashmap.h +++ b/src/context/cdinsert_hashmap.h @@ -33,16 +33,17 @@ #include "cvc4_private.h" -#include "context/context.h" -#include "context/cdinsert_hashmap_forward.h" -#include <utility> -#include <ext/hash_map> +#include <boost/static_assert.hpp> #include <deque> -#include "util/cvc4_assert.h" -#include "util/output.h" +#include <ext/hash_map> +#include <utility> +#include "base/cvc4_assert.h" +#include "base/output.h" +#include "context/context.h" +#include "context/cdinsert_hashmap_forward.h" #include "expr/node.h" -#include <boost/static_assert.hpp> + #pragma once |