Cleanup.

diff --git a/examples/api/combination.cpp b/examples/api/combination.cpp
index 333ecb58da96846a895d22a9ee308c29b84ee037..5ae0e207ee2b179f196b1e346e2b034e233f5b67 100644 (file)
--- 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
index 5dbb0f2ac9fd01a5f1dba9705df7a3b6259414fd..1d98a4ac06236de64d5ed699edc878478795334e 100644 (file)
--- a/examples/api/java/Combination.java
+++ b/examples/api/java/Combination.java
@@ -92,7 +92,7 @@ public class Combination {
     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);
   }