From 1814a2d7b3b0e44857e49f769418aa01c59a0674 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cremersc@brutus3.ethz.ch>
Date: Tue, 25 Jan 2011 17:30:59 +0100
Subject: [PATCH] BUGFIX: Removed obsolete code that was destroying
 commit/agreement functionality when filtering.

This is now (and has been for a while) handled by other code.
---
 src/compiler.c | 34 ----------------------------------
 1 file changed, 34 deletions(-)

diff --git a/src/compiler.c b/src/compiler.c
index 79cb51c..8f803ef 100644
--- a/src/compiler.c
+++ b/src/compiler.c
@@ -498,40 +498,6 @@ claimCreate (const System sys, const Protocol protocol, const Role role,
       label = generateFreshClaimlabel (sys, protocol, role, claim);
     }
 
-  if (switches.filterProtocol != NULL)
-    {
-      // only this protocol
-      if (!isStringEqual
-	  (switches.filterProtocol, TermSymb (protocol->nameterm)->text))
-	{
-	  // not this protocol; return
-	  return NULL;
-	}
-      // and maybe also a specific label?
-      if (switches.filterLabel != NULL)
-	{
-	  if (label == NULL)
-	    {
-	      return NULL;
-	    }
-	  else
-	    {
-	      Term t;
-
-	      t = label;
-	      while (isTermTuple (t))
-		{
-		  t = TermOp2 (t);
-		}
-	      if (!isStringEqual (switches.filterLabel, TermSymb (t)->text))
-		{
-		  // not this label; return
-		  return NULL;
-		}
-	    }
-	}
-    }
-
   // Assert: label is unique, add claimlist info
   cl = malloc (sizeof (struct claimlist));
   cl->type = claim;