1.1 --- a/src/Tools/isac/Interpret/lucas-interpreter.sml	Wed Apr 08 16:56:47 2020 +0200
     1.2 +++ b/src/Tools/isac/Interpret/lucas-interpreter.sml	Thu Apr 09 11:21:53 2020 +0200
     1.3 @@ -622,12 +622,12 @@
     1.4      val fo = Calc.get_current_formula ptp
     1.5  	  val {nrls, ...} = Specify.get_met (Ctree.get_obj Ctree.g_metID pt (Ctree.par_pblobj pt p))
     1.6  	  val {rew_ord, erls, rules, ...} = Rule_Set.rep nrls
     1.7 -	  val (found, der) = Error_Pattern.concat_deriv rew_ord erls rules fo ifo; (*<---------------*)
     1.8 +	  val (found, der) = Error_Fill_Pattern.concat_deriv rew_ord erls rules fo ifo; (*<---------------*)
     1.9    in
    1.10      if found
    1.11      then
    1.12         let
    1.13 -         val tacis' = map (Error_Pattern.mk_tacis rew_ord erls) der;
    1.14 +         val tacis' = map (Error_Fill_Pattern.mk_tacis rew_ord erls) der;
    1.15  		     val (c', ptp) = Generate.embed_deriv tacis' ptp;
    1.16  	     in ("ok", (tacis (*@ tacis'?WN050408*), c @ c', ptp)) end
    1.17       else