Index: TODO
===================================================================
diff -u -rcf1d2fecdcc673946bba91511f9f0cb82a850c69 -r25da49eb40dff9a7601e05e01cd596adb04df4e4
--- TODO	(.../TODO)	(revision cf1d2fecdcc673946bba91511f9f0cb82a850c69)
+++ TODO	(.../TODO)	(revision 25da49eb40dff9a7601e05e01cd596adb04df4e4)
@@ -5011,6 +5011,7 @@
 ========================================================================
 TODO:
 
+=======
 - multiplicity: Check or clarify the intended semantics of the lower
   bound 1 in 0..1/1..1 when it comes to the empty string "".
 
@@ -5047,7 +5048,7 @@
   conversion or rep condition. Can we drop it, and just keep 1..1,
   0..*, and 1..* (and the alternative notations: 0..n, 1..n)?
 
-- check autoadded asserts; complete asserts for other .c files
+- check autoadded asserts
 - check nonnull with various compilers for tcl8.6
 
 - check deactivated tests in tests/serialize.test