1.1 --- a/test/Tools/isac/Minisubpbl/250-Rewrite_Set-from-method.sml	Sat Feb 04 16:49:08 2023 +0100
     1.2 +++ b/test/Tools/isac/Minisubpbl/250-Rewrite_Set-from-method.sml	Sat Feb 04 17:00:25 2023 +0100
     1.3 @@ -67,7 +67,7 @@
     1.4  "~~~~~ fun scan_dn1, args:"; val (xxx, ist, (Const (\<^const_name>\<open>Try\<close>(*1*),_) $ e)) =
     1.5    (xxx, (ist |> path_down_form ([L, L, R], a)), e1);
     1.6  
     1.7 -(*+*)UnparseC.term_in_ctxt ctxt e1 = "Try (Rewrite_Set ''norm_equation'')"  (*in isabisac*);
     1.8 +(*+*)UnparseC.term ctxt e1 = "Try (Rewrite_Set ''norm_equation'')"  (*in isabisac*);
     1.9  
    1.10  val Accept_Tac1 _ =  (*case*)
    1.11          scan_dn1 xxx (ist |> path_down_form ([L, R], a)) e (*of*);