diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-05-02 19:22:26 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-05-02 19:22:26 -0400 |
commit | 9b59e12cf7eb284d4d99bf19036ba28fc5fb32cf (patch) | |
tree | 9098b5f8c317a0224126095a9a72cefe8bdf6a6b /examples | |
parent | 0f8c9a8c83322c54027b6523afde1faa42530f19 (diff) |
Fix typo in bitvectors example; thanks to Adam Gashlin for reporting the issue.
Diffstat (limited to 'examples')
-rw-r--r-- | examples/api/bitvectors.cpp | 2 | ||||
-rw-r--r-- | examples/api/java/BitVectors.java | 2 |
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. "); |