diff -r 51bc795b81fd -r 0b2535a72fd0 TODO
--- a/TODO	Mon Mar 29 00:30:20 2010 +0200
+++ b/TODO	Mon Mar 29 00:30:47 2010 +0200
@@ -42,3 +42,7 @@
 
 - fv_rsp uses 'blast' to show goals of the type:
   a u b = c u d   ==>  a u x u b = c u x u d
+
+When cleaning:
+
+- remove all 'PolyML.makestring'.
\ No newline at end of file