diff options
Diffstat (limited to 'examples/api/bitvectors.cpp')
-rw-r--r-- | examples/api/bitvectors.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/api/bitvectors.cpp b/examples/api/bitvectors.cpp index b69ee5d17..09bf9c299 100644 --- a/examples/api/bitvectors.cpp +++ b/examples/api/bitvectors.cpp @@ -101,7 +101,7 @@ int main() { // Assert encoding to CVC4 in current context; cout << "Asserting " << assignment2 << " to CVC4 " << endl; - smt.assertFormula(assignment1); + smt.assertFormula(assignment2); cout << " Querying: " << new_x_eq_new_x_ << endl; cout << " Expect valid. " << endl; |