From 1efa77859fca1a7edcb228f48dd43988385cded6 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 14 Jul 2004 08:33:28 +0000
Subject: [PATCH] - Removed choose warnings for now.

---
 src/modelchecker.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/modelchecker.c b/src/modelchecker.c
index e3e80a5..b30d544 100644
--- a/src/modelchecker.c
+++ b/src/modelchecker.c
@@ -279,7 +279,10 @@ explorify (const System sys, const int run)
 	  ridSymm = sys->runs[run].prevSymmRun;
 	  if (sys->runs[ridSymm].step == 0)
 	    {
-	      warning ("Symmetrical run dependency #%i (for run #%i) has not chosen yet!", ridSymm, run);
+	      /*
+	       * dependency run was not chosen yet, so we can't do anything now
+	       */
+	      // warning ("Symmetrical run dependency #%i (for run #%i) has not chosen yet!", ridSymm, run);
 	    }
 	  else
 	    {