Cleanup.

2 files changed, 2 insertions, 2 deletions

diff --git a/examples/api/combination.cpp b/examples/api/combination.cpp
index 333ecb58d..5ae0e207e 100644
--- 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 5dbb0f2ac..1d98a4ac0 100644
--- 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);
   }