--- a/src/HOL/Tools/ATP/atp_problem_generate.ML Mon Jun 25 18:21:18 2012 +0200
+++ b/src/HOL/Tools/ATP/atp_problem_generate.ML Tue Jun 26 11:14:39 2012 +0200
@@ -682,7 +682,7 @@
Native (adjust_order choice order, Mangled_Monomorphic, level)
| adjust_type_enc (TFF (TPTP_Monomorphic, _)) (Native (_, _, level)) =
Native (First_Order, Mangled_Monomorphic, level)
- | adjust_type_enc (DFG DFG_Sorted) (Native (_, _, level)) =
+ | adjust_type_enc DFG (Native (_, _, level)) =
Native (First_Order, Mangled_Monomorphic, level)
| adjust_type_enc (TFF _) (Native (_, poly, level)) =
Native (First_Order, poly, level)