From 5ae5bea3dd9ecfadf9b46c04f8310116062685f0 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 17 Oct 2007 10:24:08 +0000
Subject: [PATCH] Removed temporary diagnostic outputs.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@459 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/simulator/simexpressionbuilder.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/prism/src/simulator/simexpressionbuilder.cc b/prism/src/simulator/simexpressionbuilder.cc
index a6f7dd58..b1647697 100644
--- a/prism/src/simulator/simexpressionbuilder.cc
+++ b/prism/src/simulator/simexpressionbuilder.cc
@@ -124,7 +124,6 @@ JNIEXPORT jlong __pointer JNICALL Java_simulator_SimulatorEngine_createAnd
 (JNIEnv * env, jclass cls, jlongArray __pointer exprPointers)
 {
 	jsize length = env->GetArrayLength(exprPointers);
-	printf("and\n");
 	jlong buf[length];
 	jint i, sum = 0;
 	env->GetLongArrayRegion(exprPointers, 0, length, buf);