- Removed the debugging output.
This commit is contained in:
parent
5c90522c55
commit
f5ab30995c
@ -1514,9 +1514,6 @@ prune_theorems ()
|
||||
Term actor;
|
||||
|
||||
actor = agentOfRun(sys, run);
|
||||
eprintf ("Bla %i ", run);
|
||||
termPrint (actor);
|
||||
eprintf ("\n");
|
||||
if (inTermlist (sys->untrusted, actor))
|
||||
{
|
||||
if (sys->output == PROOF)
|
||||
|
Loading…
Reference in New Issue
Block a user