1.1 --- a/test/Tools/isac/Specify/generate.sml	Thu Apr 23 15:48:31 2020 +0200
     1.2 +++ b/test/Tools/isac/Specify/generate.sml	Fri Apr 24 08:51:05 2020 +0200
     1.3 @@ -37,7 +37,7 @@
     1.4    (1, ("chain-rule-diff-both", "fill-both-args"));
     1.5      val ((pt, _), _) = get_calc cI
     1.6  		    val pos as (p, _) = get_pos cI 1;
     1.7 -    val fillforms = find_fillpatterns (pt, pos) errpatID;
     1.8 +    val fillforms = Error_Pattern.find_fill_patterns (pt, pos) errpatID;
     1.9  
    1.10  if pos = ([1], Res) then () else error "generate_inconsistent_rew changed 1";
    1.11