diff options
Diffstat (limited to 'src/parser/smt2/Smt2.g')
-rw-r--r-- | src/parser/smt2/Smt2.g | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 7fb671bb0..974de29b2 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -297,7 +297,7 @@ command returns [CVC4::Command* cmd = NULL] { cmd = new GetAssertionsCommand; } | /* get-proof */ GET_PROOF_TOK - { UNSUPPORTED("get-proof command not yet supported"); } + { cmd = new GetProofCommand; } | /* get-unsat-core */ GET_UNSAT_CORE_TOK { UNSUPPORTED("unsat cores not yet supported"); } |