diff options
Diffstat (limited to 'examples/translator.cpp')
-rw-r--r-- | examples/translator.cpp | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/examples/translator.cpp b/examples/translator.cpp index 7aa969e06..522d88573 100644 --- a/examples/translator.cpp +++ b/examples/translator.cpp @@ -15,18 +15,19 @@ ** CVC4's input languages to one of its output languages. **/ -#include <iostream> +#include <cerrno> +#include <cstdlib> +#include <cstring> #include <fstream> #include <getopt.h> -#include <cstring> -#include <cstdlib> -#include <cerrno> -#include "smt/smt_engine.h" -#include "util/language.h" -#include "expr/command.h" +#include <iostream> + #include "expr/expr.h" -#include "parser/parser_builder.h" +#include "options/language.h" #include "parser/parser.h" +#include "parser/parser_builder.h" +#include "smt/smt_engine.h" +#include "smt_util/command.h" using namespace std; using namespace CVC4; |