diff options
Diffstat (limited to 'src/main/util.cpp')
| -rw-r--r-- | src/main/util.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/util.cpp b/src/main/util.cpp index 70cb85c93..4ec1c1bee 100644 --- a/src/main/util.cpp +++ b/src/main/util.cpp @@ -23,9 +23,9 @@ #include <string.h> #include <signal.h> -#include "util/exception.h" -#include "smt/options.h" #include "util/Assert.h" +#include "util/exception.h" +#include "util/options.h" #include "util/stats.h" #include "cvc4autoconfig.h" |