1.1 --- a/test/Tools/isac/Interpret/error-pattern.sml	Tue May 12 17:42:29 2020 +0200
     1.2 +++ b/test/Tools/isac/Interpret/error-pattern.sml	Wed May 13 11:34:05 2020 +0200
     1.3 @@ -988,7 +988,7 @@
     1.4  
     1.5  val env = [(str2term "v_v", str2term "x")];
     1.6  val errpats =
     1.7 -  [e_errpat, (*generalised for testing*)
     1.8 +  [Error_Pattern.empty, (*generalised for testing*)
     1.9     ("chain-rule-diff-both",
    1.10       [parse_patt @{theory} "d_d ?bdv (sin ?u) = cos (d_d ?bdv ?u)",
    1.11        parse_patt @{theory} "d_d ?bdv (cos ?u) = - sin (d_d ?bdv ?u)",