From 9b59e12cf7eb284d4d99bf19036ba28fc5fb32cf Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 2 May 2014 19:22:26 -0400 Subject: [PATCH] Fix typo in bitvectors example; thanks to Adam Gashlin for reporting the issue. --- examples/api/bitvectors.cpp | 2 +- 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. "); -- 2.30.2