Index: TODO
===================================================================
diff -u -r07bc50445a6b058e05eb942e793d99126afbedd1 -ra0c550d7177ff8c41200a445ecb766c138056855
--- TODO	(.../TODO)	(revision 07bc50445a6b058e05eb942e793d99126afbedd1)
+++ TODO	(.../TODO)	(revision a0c550d7177ff8c41200a445ecb766c138056855)
@@ -3083,6 +3083,9 @@
   * regularized the interface of "variable" and "attribute"
   * extended regression test
 
+ - FIXED: The following leads to a crash in the ExitHandler:
+   
+   Object create o {exit -1} 
 
 TODO:
  - add "delete variable" analogous to "delete attribute"
@@ -3102,9 +3105,6 @@
    messages print with the leaf method names only, e.g.: "anObj method
    ..." instead of " anObj info method ..." etc.
 
- - The following leads to a crash in the ExitHandler:
-       Object create o {exit -1} 
-
  - variable and incremental, test for user-defined types
  - should we change interface for default value in attribute? 
    probably not, same interface is used in methodparameters as well