diff -r 3063a52db028 -r 59c5dd27d589 src/Tools/isac/BaseDefinitions/termC.sml
--- a/src/Tools/isac/BaseDefinitions/termC.sml	Fri Apr 17 18:40:14 2020 +0200
+++ b/src/Tools/isac/BaseDefinitions/termC.sml	Fri Apr 17 18:47:29 2020 +0200
@@ -103,9 +103,9 @@
   val free2var: term -> term
   val contains_one_of: thm * (string * typ) list -> bool
   val contains_Const_typeless: term list -> term -> bool
-(*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )
+(*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\*)
   val typ_a2real: term -> term
-( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
+(*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
 end
 
 (**)