diff options
| author | Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com> | 2021-09-29 16:32:31 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-29 21:32:31 +0000 |
| commit | bed236463f34019a802c8f0ee66f386b77ac4446 (patch) | |
| tree | b243c34aa9382f34f87c187ae136c000ac2d906e /examples | |
| parent | 7d859b19c2755dc5071f4bedbbeab8a37870e69a (diff) | |
Remove support for extended `(check-sat <term>)` command. (#7270)
This commit removes support for the extended `(check-sat <term>)` command which overlaps in functionality with the standard `(check-sat-assuming (<prop_literal>*))` command.
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/api/smtlib/extract.smt2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/api/smtlib/extract.smt2 b/examples/api/smtlib/extract.smt2 index 8bbabb77a..1e6bd8ab9 100644 --- a/examples/api/smtlib/extract.smt2 +++ b/examples/api/smtlib/extract.smt2 @@ -11,4 +11,4 @@ (assert (= a_31_1 a_30_0)) (echo "Check unsatisfiability assuming a_31_31 != a_0_0") -(check-sat (not (= a_31_31 a_0_0)))
\ No newline at end of file +(check-sat-assuming ((not (= a_31_31 a_0_0)))) |