diff --git a/examples/dotnet/Program.cs b/examples/dotnet/Program.cs
index 6f12d81a4..4361cab96 100644
--- a/examples/dotnet/Program.cs
+++ b/examples/dotnet/Program.cs
@@ -93,9 +93,6 @@ namespace test_mapi
                 1,
                 new Pattern[] { p } /* patterns */);
 
-	    if (q.IsTrue)
-	       Console.WriteLine("is true.");
-
             return q;
         }
 
diff --git a/examples/java/JavaExample.java b/examples/java/JavaExample.java
index 992b0c477..48395d8c2 100644
--- a/examples/java/JavaExample.java
+++ b/examples/java/JavaExample.java
@@ -89,9 +89,6 @@ class JavaExample
                 names, /* names of quantified variables */
                 eq, 1, new Pattern[] { p } /* patterns */, null, null, null);
 
-	if (q.isTrue())
-	    System.out.println("is true");
-
         return q;
     }