diff -r 3063a52db028 -r 59c5dd27d589 src/Tools/isac/BaseDefinitions/rewrite-order.sml
--- a/src/Tools/isac/BaseDefinitions/rewrite-order.sml	Fri Apr 17 18:40:14 2020 +0200
+++ b/src/Tools/isac/BaseDefinitions/rewrite-order.sml	Fri Apr 17 18:47:29 2020 +0200
@@ -19,9 +19,9 @@
   val assoc_rew_ord: string -> subst -> term * term -> bool
 (* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *)
   (*NONE*)
-(*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )
+(*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\*)
   (*NONE*)
-( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
+(*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
 end
 
 (**)