Cleanup.

kbansal · Dec 9, 2014 · 5361724 · 5361724
1 parent 3bb096f
commit 5361724
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/examples/api/combination.cpp b/examples/api/combination.cpp
@@ -95,7 +95,7 @@ int main() {
        << "the assumptions are satisfiable: "
        << smt.checkSat(em.mkConst(true)) << "."<< endl;
 
-  cout << "Finally, after a SAT call, we recursively call smt.getValue(...) on"
+  cout << "Finally, after a SAT call, we recursively call smt.getValue(...) on "
        << "all of the assumptions to see what the satisfying model looks like."
        << endl;
   prefixPrintGetValue(smt, assumptions);

diff --git a/examples/api/java/Combination.java b/examples/api/java/Combination.java
@@ -92,7 +92,7 @@ public static void main(String[] args) {
     System.out.println("the assumptions are satisfiable: " +
                        smt.checkSat(em.mkConst(true)) + ".");
 
-    System.out.println("Finally, after a SAT call, we recursively call smt.getValue(...) on" +
+    System.out.println("Finally, after a SAT call, we recursively call smt.getValue(...) on " +
                        "all of the assumptions to see what the satisfying model looks like.");
     prefixPrintGetValue(smt, assumptions, 0);
   }