1.1 --- a/test/Tools/isac/Knowledge/rational-2.sml	Tue Sep 06 11:47:00 2022 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/rational-2.sml	Wed Sep 07 10:58:12 2022 +0200
     1.3 @@ -1574,7 +1574,7 @@
     1.4  then () else error "rls chancel_p 3";
     1.5  
     1.6  "--- with simpler ruleset";
     1.7 -val {rules, rew_ord= (_, ro), ...} = Rule_Set.rep (assoc_rls "rev_rew_p");
     1.8 +val {rules, rew_ord= (_, ro), ...} = Rule_Set.rep (get_rls @{context} "rev_rew_p");
     1.9  val der = Derive.do_one ctxt Atools_erls rules ro NONE tt;
    1.10  if length der = 12 then () else error "WN1130912 rls chancel_p 4";
    1.11  (*default_print_depth 99;*) writeln (Derive.deriv2str der); (*default_print_depth 3;*)
    1.12 @@ -1588,7 +1588,7 @@
    1.13  	(TermC.str2term "(1 * a + 1 * b) * (1 * a + - 1 * b)");
    1.14  (*default_print_depth 99;*) writeln (Derive.deriv2str der); (*default_print_depth 3;*)
    1.15  
    1.16 -val {rules, rew_ord=(_,ro),...} = Rule_Set.rep (assoc_rls "rev_rew_p");
    1.17 +val {rules, rew_ord=(_,ro),...} = Rule_Set.rep (get_rls @{context}  "rev_rew_p");
    1.18  val der = Derive.do_one ctxt Atools_erls rules ro NONE 
    1.19  	(TermC.str2term "(1 * a + - 1 * b) * (1 * a + - 1 * b)");
    1.20  (*default_print_depth 99;*) writeln (Derive.deriv2str der); (*default_print_depth 3;*)