diff options
Diffstat (limited to 'src/parser/smt/smt_parser.g')
-rw-r--r-- | src/parser/smt/smt_parser.g | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/smt/smt_parser.g b/src/parser/smt/smt_parser.g index fe98063cc..8bc557bbd 100644 --- a/src/parser/smt/smt_parser.g +++ b/src/parser/smt/smt_parser.g @@ -15,7 +15,7 @@ header "post_include_hpp" { #include "parser/antlr_parser.h" -#include "util/command.h" +#include "expr/command.h" } header "post_include_cpp" { |