1.1 --- a/test/Tools/isac/Interpret/error-pattern.sml	Fri Jun 17 12:15:09 2022 +0200
     1.2 +++ b/test/Tools/isac/Interpret/error-pattern.sml	Sat Jun 18 12:34:29 2022 +0200
     1.3 @@ -388,8 +388,8 @@
     1.4  	      "interval {x::real. 0 <= x & x <= pi}",
     1.5  	      "errorBound (eps=(0::real))"]
     1.6   (*specifying is not interesting for this example*)
     1.7 - val spec = ("DiffApp", ["maximum_of", "function"], 
     1.8 -	     ["DiffApp", "max_by_calculus"]);
     1.9 + val spec = ("Diff_App", ["maximum_of", "function"], 
    1.10 +	     ["Diff_App", "max_by_calculus"]);
    1.11   (*the empty model with descriptions for user-guidance by Model_Problem*)
    1.12   val empty_model = [Given ["fixedValues []"],
    1.13  		    Find ["maximum", "valuesFor"],