diff -r cecbfe45f053 -r 19bd2f740479 src/Tools/isac/BaseDefinitions/method-def.sml
--- a/src/Tools/isac/BaseDefinitions/method-def.sml	Thu Aug 04 15:25:44 2022 +0200
+++ b/src/Tools/isac/BaseDefinitions/method-def.sml	Thu Aug 04 15:38:42 2022 +0200
@@ -12,15 +12,12 @@
   val id_to_string: id -> string
 
   type T
-(*type met*)
   val empty: T
-(*val e_met: T*)
+
   type store
-(*type mets*)
   val empty_store: T Store.node
-(*val e_Mets: T Store.node*)
+
   val check_unique: Check_Unique.id -> T Store.T -> unit
-(*val check_metguh_unique: Check_Unique.id -> T Store.T -> unit*)
 end
 
 (**)