diff options
Diffstat (limited to 'examples/hashsmt/word.cpp')
| -rw-r--r-- | examples/hashsmt/word.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/examples/hashsmt/word.cpp b/examples/hashsmt/word.cpp index 189eaf485..b26e3b4d3 100644 --- a/examples/hashsmt/word.cpp +++ b/examples/hashsmt/word.cpp @@ -26,10 +26,10 @@ #include <vector> -#include "expr/expr.h" -#include "expr/expr_iomanip.h" -#include "options/language.h" -#include "options/options.h" +#include <cvc4/cvc4.h> +#include <cvc4/expr/expr_iomanip.h> +#include <cvc4/options/language.h> +#include <cvc4/options/options.h> using namespace std; using namespace hashsmt; |