1.1 --- a/test/Tools/isac/Specify/input-descript.sml Sat Aug 14 16:07:07 2021 +0200
1.2 +++ b/test/Tools/isac/Specify/input-descript.sml Sat Aug 14 16:37:31 2021 +0200
1.3 @@ -17,7 +17,7 @@
1.4 "----- fun Input_Descript.for_bool_list -----";
1.5 val t as Const (\<^const_name>\<open>Input_Descript.relations\<close>,
1.6 Type (\<^type_name>\<open>fun\<close>, [Type (\<^type_name>\<open>list\<close>, [Type (\<^type_name>\<open>bool\<close>,[])]),
1.7 - Type ("Input_Descript.una", [])])) = @{term "relations"};
1.8 + Type e(\<^type_name>\<open>una\<close>, [])])) = @{term "relations"};
1.9 atomtyp (type_of t);
1.10 if Input_Descript.for_bool_list t then () else error "Input_Descript.for_bool_list changed";
1.11 "----- fun Input_Descript.for_real -----";