From c929fa6ea308432ccb6e4825ecc691926292d132 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 18 Aug 2004 20:22:55 +0000
Subject: [PATCH] - Debug info should be encapsulated.

---
 src/compiler.c | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/src/compiler.c b/src/compiler.c
index f67aed7..8bdcaac 100644
--- a/src/compiler.c
+++ b/src/compiler.c
@@ -852,11 +852,16 @@ compute_role_variables (const System sys, Protocol p, Role r)
       roledef_iterate_events (r->roledef, process_event);
       r->variables = tl;
 
-      eprintf ("All variables for role ");
-      termPrint (r->nameterm);
-      eprintf (" are ");
-      termlistPrint (tl);
-      eprintf ("\n");
+#ifdef DEBUG
+      if (DEBUGL (5))
+	{
+	  eprintf ("All variables for role ");
+	  termPrint (r->nameterm);
+	  eprintf (" are ");
+	  termlistPrint (tl);
+	  eprintf ("\n");
+	}
+#endif
     }
 }