diff -r 778899c624a6 -r ff30cec13f4f test/Tools/isac/Interpret/error-pattern.sml
--- a/test/Tools/isac/Interpret/error-pattern.sml	Fri Apr 24 09:01:48 2020 +0200
+++ b/test/Tools/isac/Interpret/error-pattern.sml	Mon Apr 27 12:36:21 2020 +0200
@@ -1082,7 +1082,7 @@
       {errpats, scr = Rule.Prog prog, ...} => (errpats, prog)
     | _ => error "find_fill_patterns: uncovered case of get_met"
     val {env, ...} = Ctree.get_istate_LI pt pos |> Istate.the_pstate
-    val subst = Rtools.get_bdv_subst prog env
+    val subst = Subst.for_bdv prog env
     val errpatthms = errpats
       |> filter ((curry op = errpatID) o (#1: errpat -> errpatID))
       |> map (#3: errpat -> thm list)