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;