diff options
Diffstat (limited to 'src/util/Assert.cpp')
| -rw-r--r-- | src/util/Assert.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/util/Assert.cpp b/src/util/Assert.cpp index f992032ee..06be4ab7c 100644 --- a/src/util/Assert.cpp +++ b/src/util/Assert.cpp @@ -16,10 +16,9 @@ #include <new> #include <cstdarg> #include <cstdio> + #include "util/Assert.h" #include "util/exception.h" -#include "cvc4_config.h" -#include "config.h" using namespace std; |