From 112e3799abab3caeabdc10edb99abb86e9433c79 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 26 May 2004 08:54:18 +0000
Subject: [PATCH] - grmbl fix previous commit.

---
 src/main.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/main.c b/src/main.c
index e4e92c4..122c58e 100644
--- a/src/main.c
+++ b/src/main.c
@@ -533,7 +533,6 @@ MC_incTraces (const System sys)
     tracelen -= tracestep;
 
   flag = 1;
-  res;
 
   do
     {