1.1 --- a/test/Tools/isac/Interpret/error-pattern.sml	Mon Jul 19 15:34:54 2021 +0200
     1.2 +++ b/test/Tools/isac/Interpret/error-pattern.sml	Mon Jul 19 17:29:35 2021 +0200
     1.3 @@ -638,7 +638,7 @@
     1.4  "--------- Take as 1st tac, start with <NEW> (CAS input) ---------";
     1.5  "--------- Take as 1st tac, start with <NEW> (CAS input) ---------";
     1.6  val t = TermC.str2term "Diff (x \<up> 2 + x + 1, x)";
     1.7 -case t of Const ("Diff.Diff", _) $ _ => ()
     1.8 +case t of Const (\<^const_name>\<open>Diff\<close>, _) $ _ => ()
     1.9  	| _ => raise 
    1.10  	      error "diff.sml behav.changed for CAS Diff (..., x)";
    1.11  TermC.atomty t;