From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 9 Dec 2014 23:48:43 +0000 (-0500)
Subject: Cleanup.
X-Git-Tag: cvc5-1.0.0~6467
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5361724725d9221fc798a9f3d5fd78de0dd91967;p=cvc5.git

Cleanup.
---

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);
   }