From 7bb1469d71810870824abf00ad2a108e266fd9c7 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Wed, 2 Apr 2014 19:10:30 +0100 Subject: [PATCH] removed debugging code. Signed-off-by: Christoph M. Wintersteiger --- examples/dotnet/Program.cs | 3 --- examples/java/JavaExample.java | 3 --- 2 files changed, 6 deletions(-) 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; }