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
     {