- If the --state-space switch is used, reporting is now always disabled.

This commit is contained in:
ccremers 2004-07-13 11:11:27 +00:00
parent 0c0a5021bb
commit df9b97e5bc

View File

@ -481,7 +481,7 @@ attackDisplayAscii (System sys)
void void
attackDisplay (System sys) attackDisplay (System sys)
{ {
if (!sys->report) if (!sys->report || sys->switchStatespace)
return; return;
if (sys->latex) if (sys->latex)