# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1272013958 -7200
# Node ID 0913f697fe73b6a6c7617aa97d7966573b893d73
# Parent  19f296e757c55e2de4772fe44cc920cfb10e523a
Minor

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
-