diff options
Diffstat (limited to 'src/theory/theory.cpp')
-rw-r--r-- | src/theory/theory.cpp | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/theory/theory.cpp b/src/theory/theory.cpp index 62f2a5ec2..05795ca8f 100644 --- a/src/theory/theory.cpp +++ b/src/theory/theory.cpp @@ -15,12 +15,14 @@ **/ #include "theory/theory.h" -#include "util/cvc4_assert.h" -#include "theory/quantifiers_engine.h" -#include "theory/substitutions.h" #include <vector> +#include "base/cvc4_assert.h" +#include "theory/substitutions.h" +#include "theory/quantifiers_engine.h" + + using namespace std; namespace CVC4 { |