From ee0501d82de159ab01fbd93c9446a15e59f7e503 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 19 Jul 2004 09:34:46 +0000
Subject: [PATCH] - Implemented --no-agent-symm to disable agent symmetry
 reductions.

---
 src/modelchecker.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/modelchecker.c b/src/modelchecker.c
index f0f7b78..3216068 100644
--- a/src/modelchecker.c
+++ b/src/modelchecker.c
@@ -321,7 +321,7 @@ explorify (const System sys, const int run)
        * If the run we depend upon has already been activated (otherwise warn!) check for instance ordering
        */
 
-      if (sys->runs[run].prevSymmRun != -1)
+      if (sys->switchAgentSymm && sys->runs[run].prevSymmRun != -1)
 	{
 	  /* there is such a run on which we depend */
 	  int ridSymm;