From dc4432a18f4435f2544054918763faf125bfb36f Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Tue, 15 Apr 2014 22:12:12 +0100
Subject: [PATCH] Cleanup: Removing unused variables.

---
 src/claim.c  | 4 ----
 src/system.c | 2 --
 2 files changed, 6 deletions(-)

diff --git a/src/claim.c b/src/claim.c
index 7a29abe..f2b7d22 100644
--- a/src/claim.c
+++ b/src/claim.c
@@ -412,7 +412,6 @@ check_claim_nisynch (const System sys, const int i)
   int result;
   int rid;
   Termmap f, g;
-  Term label;
   Claimlist cl;
   Termlist tl;
 
@@ -424,7 +423,6 @@ check_claim_nisynch (const System sys, const int i)
 
   // map all labels in prec to LABEL_TODO
   g = NULL;
-  label = rd->label;
 
   tl = cl->prec;
   while (tl != NULL)
@@ -472,7 +470,6 @@ check_claim_niagree (const System sys, const int i)
   int result;
   int rid;
   Termmap f, g;
-  Term label;
   Claimlist cl;
   Termlist tl;
 
@@ -484,7 +481,6 @@ check_claim_niagree (const System sys, const int i)
 
   // map all labels in prec to LABEL_TODO
   g = NULL;
-  label = rd->label;
 
   tl = cl->prec;
   while (tl != NULL)
diff --git a/src/system.c b/src/system.c
index 2f4c5a4..9b5a8dc 100644
--- a/src/system.c
+++ b/src/system.c
@@ -43,8 +43,6 @@ int protocolCount;
 //! External
 extern Protocol INTRUDER;
 
-//! Switch for indent or not.
-static int indentState = 0;
 //! Current indent depth.
 static int indentDepth = 0;