Cleanup: Removing unused variables.
This commit is contained in:
parent
7e43c4d06f
commit
dc4432a18f
@ -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)
|
||||
|
@ -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;
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user