1.1 --- a/test/Tools/isac/Minisubpbl/200-start-method-NEXT_STEP.sml	Tue Aug 15 17:39:06 2023 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/200-start-method-NEXT_STEP.sml	Tue Aug 15 17:44:56 2023 +0200
     1.3 @@ -97,7 +97,7 @@
     1.4  
     1.5  (*+*)val ctxt = Config.put rewrite_trace true ctxt;
     1.6        val evals = map (
     1.7 - Pre_Conds.eval ctxt where_rls) pres';
     1.8 + Pre_Conds.eval ctxt where_rls) full_subst;
     1.9  (* (*declare [[rewrite_trace = true]]*)
    1.10  @## rls: prls_met_test_squ_sub on: precond_rootmet x 
    1.11  @### try calc: "Test.precond_rootmet"