diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-09-15 22:41:03 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-09-15 22:41:03 +0000 |
| commit | c00efa92e9d61d808a8346e1d8bb3523e24d8ee2 (patch) | |
| tree | 85ecfd0e8770ef539f36ec04afd34a583e75cf38 /src/parser | |
| parent | c09fae89b38b525c6e2ab1691be4363d0cb1157b (diff) | |
minor interface improvements, compliance fixes
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/parser')
| -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 867250c0f..5950f568f 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -302,7 +302,7 @@ command returns [CVC4::Command* cmd = NULL] { cmd = new GetProofCommand; } | /* get-unsat-core */ GET_UNSAT_CORE_TOK { PARSER_STATE->checkThatLogicIsSet(); } - { UNSUPPORTED("unsat cores not yet supported"); } + { cmd = new GetUnsatCoreCommand; } | /* push */ PUSH_TOK { PARSER_STATE->checkThatLogicIsSet(); } ( k=INTEGER_LITERAL |