--- a/TODO	Fri Feb 22 16:04:23 2008 +0000
+++ b/TODO	Fri Feb 22 17:23:05 2008 +0000
@@ -19,7 +19,6 @@
   applications.
 * Update documentation.
 * READMEs for examples.
-* Calculate expected working counter for domains.
 * Distributed clocks.
 
 Future issues: