src/HOL/Tools/ATP/atp_systems.ML

--- a/src/HOL/Tools/ATP/atp_systems.ML	Tue Apr 17 13:54:31 2012 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Tue Apr 17 13:54:31 2012 +0200
@@ -639,6 +639,7 @@
   remote_atp waldmeisterN "Waldmeister" ["710"]
       [("#START OF PROOF", "Proved Goals:")]
       [(OutOfResources, "Too many function symbols"),
+       (Inappropriate, "****  Unexpected end of file."),
        (Crashed, "Unrecoverable Segmentation Fault")]
       Hypothesis Hypothesis
       (K ((50, CNF_UEQ, "mono_tags??", combsN, false), "") (* FUDGE *))