diff options
Diffstat (limited to 'src/parser/tptp/Tptp.g')
| -rw-r--r-- | src/parser/tptp/Tptp.g | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/tptp/Tptp.g b/src/parser/tptp/Tptp.g index 2ae31e810..61e0999e9 100644 --- a/src/parser/tptp/Tptp.g +++ b/src/parser/tptp/Tptp.g @@ -189,7 +189,7 @@ parseCommand returns [CVC4::Command* cmd = NULL] } */ PARSER_STATE->includeFile(name /* , inclArgs */ ); - // The command of the included file will be produced at the new parseCommand call + // The command of the included file will be produced at the next parseCommand() call cmd = new EmptyCommand("include::" + name); } | EOF |