From 9a24bb0f2147334a34ecc6000abf83e3621f9e1f Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 27 Oct 2004 16:20:12 +0000
Subject: [PATCH] - Somehow, agentOfRunRole is playing up. I found a bug in the
 pruning   (untrusted actors), but the fix did not work. It's maybe due to the
   roleInstance variants.

---
 src/arachne.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/arachne.c b/src/arachne.c
index fdeb6ff..62eb414 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -1643,6 +1643,8 @@ prune_theorems ()
     }
 
   // Check if the actors of all other runs are not untrusted
+  // TODO Somehow, this does not work. Investigate.
+  /*
   if (sys->untrusted != NULL)
     {
       int run;
@@ -1668,6 +1670,7 @@ prune_theorems ()
 			  indentPrint ();
 			  eprintf ("Pruned because the actor of run %i is untrusted.\n", run);
 			}
+		      return 1;
 		    }
 		}
 	      else
@@ -1684,11 +1687,13 @@ prune_theorems ()
 		  eprintf ("\n");
 		  error ("Aborting.");
 		  globalError--;
+		  return 1;
 		}
 	    }
 	  run++;
 	}
     }
+    */
 
   // Check for c-minimality
   if (!bindings_c_minimal ())