diff --git a/src/dotout.c b/src/dotout.c
index f8af5af..b3aa57d 100644
--- a/src/dotout.c
+++ b/src/dotout.c
@@ -1456,13 +1456,11 @@ void
 drawRegularRuns (const System sys)
 {
   int run;
-  int rcnum;
   char *colorbuf;
 
   // two buffers, eight chars each
   colorbuf = malloc (16 * sizeof (char));
 
-  rcnum = 0;
   for (run = 0; run < sys->maxruns; run++)
     {
       if (sys->runs[run].length > 0)
diff --git a/src/prune_theorems.c b/src/prune_theorems.c
index 9487560..f136f47 100644
--- a/src/prune_theorems.c
+++ b/src/prune_theorems.c
@@ -249,9 +249,7 @@ multipleRolePrune (const System sys)
 {
   Termlist agentrole;
   int run;
-  int flag;
 
-  flag = false;
   agentrole = NULL;
   for (run = 0; run < sys->maxruns; run++)
     {
diff --git a/src/system.c b/src/system.c
index 2c64c56..2f4c5a4 100644
--- a/src/system.c
+++ b/src/system.c
@@ -161,11 +161,8 @@ systemRuns (const System sys)
 void
 systemDone (const System sys)
 {
-  int s;
-
   /* clear globals, which were defined in systemStart */
 
-  s = sys->maxtracelength + 1;
   free (sys->traceEvent);
   free (sys->traceRun);
   free (sys->traceKnow);