- Substitutions from roles have to be reset to compare existing runs.

This commit is contained in:
ccremers 2004-08-14 16:26:57 +00:00
parent 1b3ef9e4ac
commit bf75e93f4c

View File

@ -784,7 +784,7 @@ iterate ()
else
{
#ifdef DEBUG
if (DEBUGL (4))
if (DEBUGL (3))
{
indentPrint ();
eprintf ("Trying to bind goal ");