1.1 --- a/src/Tools/isac/Interpret/inform.sml	Thu Aug 22 11:26:14 2019 +0200
     1.2 +++ b/src/Tools/isac/Interpret/inform.sml	Thu Aug 22 12:18:58 2019 +0200
     1.3 @@ -437,7 +437,7 @@
     1.4        {errpats, scr = Rule.Prog prog, ...} => (errpats, prog)
     1.5      | _ => error "find_fillpatterns: uncovered case of get_met"
     1.6      val env = case Ctree.get_istate pt pos of
     1.7 -		  Istate.ScrState (env, _, _, _, _, _) => env
     1.8 +		  Istate.Pstate (env, _, _, _, _, _) => env
     1.9  		| _ => error "find_fillpatterns: uncovered case of get_istate"
    1.10      val subst = Rtools.get_bdv_subst prog env
    1.11      val errpatthms = errpats