Removing another fake nested function.
This commit is contained in:
parent
9a336ce2eb
commit
c28f79296f
@ -1230,6 +1230,14 @@ proof_go_up (void)
|
||||
return;
|
||||
}
|
||||
|
||||
//! Print the state of a binding (with indent)
|
||||
int
|
||||
binding_state_print (void *dt)
|
||||
{
|
||||
binding_indent_print ((Binding) dt, 1);
|
||||
return 1;
|
||||
}
|
||||
|
||||
//! Print the current semistate
|
||||
void
|
||||
printSemiState ()
|
||||
@ -1237,12 +1245,6 @@ printSemiState ()
|
||||
int run;
|
||||
int open;
|
||||
|
||||
int binding_state_print (void *dt)
|
||||
{
|
||||
binding_indent_print ((Binding) dt, 1);
|
||||
return 1;
|
||||
}
|
||||
|
||||
indentPrint ();
|
||||
eprintf ("!! --=[ Semistate ]=--\n");
|
||||
indentPrint ();
|
||||
|
Loading…
Reference in New Issue
Block a user