src/HOL/Tools/ATP/atp_problem_generate.ML

--- a/src/HOL/Tools/ATP/atp_problem_generate.ML	Thu Nov 19 10:11:11 2020 +0100
+++ b/src/HOL/Tools/ATP/atp_problem_generate.ML	Thu Nov 19 14:43:50 2020 +0100
@@ -135,7 +135,7 @@
 
 datatype order =
   First_Order |
-  Higher_Order of thf_choice
+  Higher_Order of thf_flavor
 datatype phantom_policy = Without_Phantom_Type_Vars | With_Phantom_Type_Vars
 datatype polymorphism =
   Type_Class_Polymorphic |