diff options
Diffstat (limited to 'src/parser/parser.cpp')
-rw-r--r-- | src/parser/parser.cpp | 24 |
1 files changed, 13 insertions, 11 deletions
diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp index d17d5d141..0e8a9e241 100644 --- a/src/parser/parser.cpp +++ b/src/parser/parser.cpp @@ -14,24 +14,26 @@ ** Parser state implementation. **/ -#include <iostream> -#include <fstream> -#include <sstream> -#include <iterator> +#include "parser/parser.h" + #include <stdint.h> + #include <cassert> +#include <fstream> +#include <iostream> +#include <iterator> +#include <sstream> -#include "parser/input.h" -#include "parser/parser.h" -#include "parser/parser_exception.h" -#include "expr/command.h" +#include "base/output.h" #include "expr/expr.h" #include "expr/kind.h" +#include "expr/resource_manager.h" #include "expr/type.h" -#include "util/output.h" -#include "util/resource_manager.h" #include "options/options.h" -#include "smt/options.h" +#include "options/smt_options.h" +#include "parser/input.h" +#include "parser/parser_exception.h" +#include "smt_util/command.h" using namespace std; using namespace CVC4::kind; |