Jens Steube
2016-06-30 08:43:10 +02:00
parent 86f1305246
commit 8fc1306b0b
+8 -1
View File
@@ -18295,10 +18295,17 @@ int main (int argc, char **argv)
log_info ("");
if (stdout_flag == 0) status_display ();
status_display ();
log_info ("");
}
else
{
if (status == 1)
{
status_display ();
}
}
}
if (induction_dictionaries_cnt)