1.1 --- a/src/Tools/isac/BaseDefinitions/store.sml	Fri Jan 06 10:50:33 2023 +0100
     1.2 +++ b/src/Tools/isac/BaseDefinitions/store.sml	Fri Jan 06 11:32:57 2023 +0100
     1.3 @@ -2,7 +2,7 @@
     1.4     Author: Walther Neuper
     1.5     (c) due to copyright terms
     1.6  
     1.7 -A tree for storing collections of Problem, MethodC and Thy_Write.
     1.8 +A tree for storing collections of Problem and MethodC.
     1.9  *)
    1.10  signature STORE_TREE =
    1.11  sig