From 36ccfd776a3db5946b9c480c7303d885116e2184 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Tue, 8 Aug 2006 12:40:04 +0000
Subject: [PATCH] - Even less warnings.

---
 src/compiler.c | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/src/compiler.c b/src/compiler.c
index 208c8ca..00ce721 100644
--- a/src/compiler.c
+++ b/src/compiler.c
@@ -704,9 +704,12 @@ commEvent (int event, Tac tc)
 
 	  if (isClaimlabelUsed (sys, label))
 	    {
-	      warning
-		("Claim label is not unique at line %i, generating fresh label.",
-		 tc->lineno);
+	      if (switches.check)
+		{
+		  warning
+		    ("Claim label is not unique at line %i, generating fresh label.",
+		     tc->lineno);
+		}
 	    }
 
 	  if (!isTermEqual (fromrole, thisRole->nameterm))