From 0ffa7b81ec1fa5d391e8c9442a814da829d45606 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 26 Jul 2004 08:32:01 +0000
Subject: [PATCH] - Fixed a bug with --pp=100.

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

diff --git a/src/modelchecker.c b/src/modelchecker.c
index 50ce232..44b8ed8 100644
--- a/src/modelchecker.c
+++ b/src/modelchecker.c
@@ -771,7 +771,11 @@ lastActiveRun (const System sys)
   else
     {
       /* there was a previous action, start scan from there */
-      return sys->traceRun[sys->step - 1] + sys->porparam;
+#ifdef DEBUG
+      if (sys->porparam < 100)
+          return sys->traceRun[sys->step - 1] + sys->porparam;
+#endif
+      return sys->traceRun[sys->step - 1];
     }
 }