summaryrefslogtreecommitdiff
path: root/examples/api/bitvectors.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'examples/api/bitvectors.cpp')
-rw-r--r--examples/api/bitvectors.cpp2
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;
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback