1.1 --- a/test/Tools/isac/Interpret/error-pattern.sml	Thu Dec 22 10:27:12 2022 +0100
     1.2 +++ b/test/Tools/isac/Interpret/error-pattern.sml	Thu Dec 22 17:06:19 2022 +0100
     1.3 @@ -129,7 +129,7 @@
     1.4   (writeln o (Derive.trtas2str ctxt)) ifod;
     1.5   fun equal (_,_,(t1, _)) (_,_,(t2, _)) = t1 = t2;
     1.6   val (fod', rifod') = dropwhile' equal (rev fod) (rev ifod);
     1.7 - val der = fod' @ (map Derive.rev_deriv' rifod');
     1.8 + val der = fod' @ (map (Derive.rev_deriv' ctxt) rifod');
     1.9   (writeln o (Derive.trtas2str ctxt)) der;
    1.10   "----------------------------------------------------------";
    1.11  DEconstrCalcTree 1;