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