diff options
author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-02-17 13:11:17 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-17 10:11:17 -0600 |
commit | 27e1a5835139d5107010475cb951a1aa1350e7f4 (patch) | |
tree | bf4b71b0d00b57565e8fb4f306918b4cd77df749 /src/parser/parser.h | |
parent | ed27cf0f854e014922f9690d967c5ff9aa73693c (diff) |
Using ParseOp in TPTP (#3764)
Diffstat (limited to 'src/parser/parser.h')
-rw-r--r-- | src/parser/parser.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/parser/parser.h b/src/parser/parser.h index 2317835ff..ecf1e2961 100644 --- a/src/parser/parser.h +++ b/src/parser/parser.h @@ -19,10 +19,10 @@ #ifndef CVC4__PARSER__PARSER_STATE_H #define CVC4__PARSER__PARSER_STATE_H -#include <string> -#include <set> -#include <list> #include <cassert> +#include <list> +#include <set> +#include <string> #include "expr/expr.h" #include "expr/expr_stream.h" |