1.1 --- a/test/Tools/isac/Interpret/error-pattern.sml	Tue Jan 10 17:07:53 2023 +0100
     1.2 +++ b/test/Tools/isac/Interpret/error-pattern.sml	Wed Jan 11 06:06:12 2023 +0100
     1.3 @@ -1052,7 +1052,7 @@
     1.4                		    {errpats, rew_rls, program = Rule.Prog prog, ...} => (errpats, rew_rls, prog)
     1.5                		  | _ => error "inform: uncovered case of MethodC.from_store ctxt"
     1.6  ;
     1.7 -(*+*)if Error_Pattern.s_to_string errpats = "[(\"chain-rule-diff-both\",\n[\"d_d ?bdv (sin ?u) = cos (d_d ?bdv ?u)\", \"d_d ?bdv (cos ?u) = - sin (d_d ?bdv ?u)\", \"d_d ?bdv (?u \<up> ?n) = ?n * ?u \<up> (?n - 1)\"],\n[\"d_d ?bdv (sin ?u) = cos ?u * d_d ?bdv ?u\", \"d_d ?bdv (cos ?u) = - sin ?u * d_d ?bdv ?u\", \"d_d ?bdv (?u \<up> ?n) = ?n * ?u \<up> (?n - 1) * d_d ?bdv ?u\"]]"
     1.8 +(*+*)if Error_Pattern.s_to_string ctxt errpats = "[(\"chain-rule-diff-both\",\n[d_d ?bdv (sin ?u) = cos (d_d ?bdv ?u), d_d ?bdv (cos ?u) = - sin (d_d ?bdv ?u), d_d ?bdv (?u \<up> ?n) = ?n * ?u \<up> (?n - 1)],\n[\"d_d ?bdv (sin ?u) = cos ?u * d_d ?bdv ?u\", \"d_d ?bdv (cos ?u) = - sin ?u * d_d ?bdv ?u\", \"d_d ?bdv (?u \<up> ?n) = ?n * ?u \<up> (?n - 1) * d_d ?bdv ?u\"]]"
     1.9  (*+*)then () else error "inform with (positive) Error_Pattern.check_for broken 3";
    1.10  
    1.11              		  val {env, ...} = Ctree.get_istate_LI pt pos |> Istate.the_pstate