diff -r 20c3d272d79c -r 8ab7dc3d4d6d test/Tools/isac/Interpret/error-pattern.sml
--- a/test/Tools/isac/Interpret/error-pattern.sml	Thu Dec 22 10:27:12 2022 +0100
+++ b/test/Tools/isac/Interpret/error-pattern.sml	Thu Dec 22 17:06:19 2022 +0100
@@ -129,7 +129,7 @@
  (writeln o (Derive.trtas2str ctxt)) ifod;
  fun equal (_,_,(t1, _)) (_,_,(t2, _)) = t1 = t2;
  val (fod', rifod') = dropwhile' equal (rev fod) (rev ifod);
- val der = fod' @ (map Derive.rev_deriv' rifod');
+ val der = fod' @ (map (Derive.rev_deriv' ctxt) rifod');
  (writeln o (Derive.trtas2str ctxt)) der;
  "----------------------------------------------------------";
 DEconstrCalcTree 1;