diff options
Diffstat (limited to 'examples/translator.cpp')
-rw-r--r-- | examples/translator.cpp | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/examples/translator.cpp b/examples/translator.cpp index 4838e06fb..bcdf2b2d2 100644 --- a/examples/translator.cpp +++ b/examples/translator.cpp @@ -15,18 +15,17 @@ ** CVC4's input languages to one of its output languages. **/ +#include <cvc5/cvc5.h> +#include <cvc4/expr/expr_iomanip.h> +#include <cvc4/options/set_language.h> +#include <getopt.h> + #include <cerrno> #include <cstdlib> #include <cstring> #include <fstream> -#include <getopt.h> #include <iostream> -#include <cvc4/api/cvc4cpp.h> -#include <cvc4/cvc4.h> -#include <cvc4/expr/expr_iomanip.h> -#include <cvc4/options/set_language.h> - using namespace std; using namespace cvc5; using namespace cvc5::language; |