diff options
Diffstat (limited to 'src/parser/smt2/smt2_input.h')
| -rw-r--r-- | src/parser/smt2/smt2_input.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/smt2/smt2_input.h b/src/parser/smt2/smt2_input.h index 0eb4a504b..9a07ddc08 100644 --- a/src/parser/smt2/smt2_input.h +++ b/src/parser/smt2/smt2_input.h @@ -26,7 +26,7 @@ // extern void Smt2ParserSetAntlrParser(CVC4::parser::AntlrParser* newAntlrParser); namespace CVC4 { - + class Command; class Expr; class ExprManager; |