Fix typo in bitvectors example; thanks to Adam Gashlin for reporting the issue.

2 files changed, 2 insertions, 2 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;
diff --git a/examples/api/java/BitVectors.java b/examples/api/java/BitVectors.java
index f6e719735..946c221b6 100644
--- a/examples/api/java/BitVectors.java
+++ b/examples/api/java/BitVectors.java
@@ -99,7 +99,7 @@ public class BitVectors {
 
     // Assert encoding to CVC4 in current context;
     System.out.println("Asserting " + assignment2 + " to CVC4 ");
-    smt.assertFormula(assignment1);
+    smt.assertFormula(assignment2);
 
     System.out.println(" Querying: " + new_x_eq_new_x_);
     System.out.println(" Expect valid. ");