1.1 --- a/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Mon Jul 19 15:34:54 2021 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Mon Jul 19 17:29:35 2021 +0200
     1.3 @@ -89,7 +89,7 @@
     1.4  
     1.5  	      val Check_elementwise "Assumptions" =
     1.6      LItool.tac_from_prog pt (Proof_Context.theory_of ctxt) stac;
     1.7 -"~~~~~ fun tac_from_prog , args:"; val (pt, thy, (Const("Prog_Tac.Check_elementwise",_) $ _ $
     1.8 +"~~~~~ fun tac_from_prog , args:"; val (pt, thy, (Const (\<^const_name>\<open>Check_elementwise\<close>, _) $ _ $
     1.9      (set as Const (\<^const_name>\<open>Collect\<close>,_) $ Abs (_,_,pred))))
    1.10    = (pt, (Proof_Context.theory_of ctxt), stac);
    1.11