1.1 --- a/src/Tools/isac/MathEngBasic/method.sml	Wed Aug 03 18:17:27 2022 +0200
     1.2 +++ b/src/Tools/isac/MathEngBasic/method.sml	Thu Aug 04 12:48:37 2022 +0200
     1.3 @@ -42,7 +42,7 @@
     1.4  (* a subset of MethodC.T record's fields *)
     1.5  type input = 
     1.6    {calc: Rule_Def.calc list, crls: Rule_Set.T, errpats: Error_Pattern_Def.T list, nrls: Rule_Set.T,
     1.7 -    prls: Rule_Set.T, rew_ord': Rewrite_Ord.rew_ord', rls': Rule_Set.T, srls: Rule_Set.T}
     1.8 +    prls: Rule_Set.T, rew_ord': Rewrite_Ord.id, rls': Rule_Set.T, srls: Rule_Set.T}
     1.9  
    1.10  fun prep_input thy guh (mathauthors: string list) (init: References_Def.id)
    1.11  	    (metID, ppc,