1.1 --- a/src/HOL/Tools/ATP_Manager/atp_manager.ML	Sun May 16 00:02:11 2010 +0200
     1.2 +++ b/src/HOL/Tools/ATP_Manager/atp_manager.ML	Mon May 17 10:16:54 2010 +0200
     1.3 @@ -34,8 +34,8 @@
     1.4       axiom_clauses: (thm * (string * int)) list option,
     1.5       filtered_clauses: (thm * (string * int)) list option}
     1.6    datatype failure =
     1.7 -    Unprovable | TimedOut | OutOfResources | OldSpass | MalformedOutput |
     1.8 -    UnknownError
     1.9 +    Unprovable | TimedOut | OutOfResources | OldSpass | MalformedInput |
    1.10 +    MalformedOutput | UnknownError
    1.11    type prover_result =
    1.12      {outcome: failure option,
    1.13       message: string,
    1.14 @@ -95,8 +95,8 @@
    1.15     filtered_clauses: (thm * (string * int)) list option};
    1.16  
    1.17  datatype failure =
    1.18 -  Unprovable | TimedOut | OutOfResources | OldSpass | MalformedOutput |
    1.19 -  UnknownError
    1.20 +  Unprovable | TimedOut | OutOfResources | OldSpass | MalformedInput |
    1.21 +  MalformedOutput | UnknownError
    1.22  
    1.23  type prover_result =
    1.24    {outcome: failure option,