src/HOL/Tools/ATP/atp_reconstruct.ML
changeset 44783 3634c6dba23f
parent 44773 e701dabbfe37
child 45042 89341b897412
     1.1 --- a/src/HOL/Tools/ATP/atp_reconstruct.ML	Wed Sep 07 13:50:16 2011 +0200
     1.2 +++ b/src/HOL/Tools/ATP/atp_reconstruct.ML	Wed Sep 07 13:50:17 2011 +0200
     1.3 @@ -152,7 +152,7 @@
     1.4      union (op =) (resolve_fact facts_offset fact_names name)
     1.5    | add_fact ctxt _ _ (Inference (_, _, deps)) =
     1.6      if AList.defined (op =) deps leo2_ext then
     1.7 -      insert (op =) (ext_name ctxt, Extensionality)
     1.8 +      insert (op =) (ext_name ctxt, General)
     1.9      else
    1.10        I
    1.11    | add_fact _ _ _ _ = I