diff -r 19f296e757c5 -r 0913f697fe73 Attic/FIXME-TODO --- a/Attic/FIXME-TODO Fri Apr 23 10:21:34 2010 +0200 +++ b/Attic/FIXME-TODO Fri Apr 23 11:12:38 2010 +0200 @@ -67,6 +67,3 @@ That means "qconst :: qty" is not read as a term, but as two entities. - -- Restrict automatic translation to particular quotient types -