# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1267197767 -3600
# Node ID 66fc26f32f25ffd0cbf937f81f44b7d58333c72a
# Parent  1f057f8da8aa6ed89128a7ab3840247d8bbecd19
Update TODO

diff -r 1f057f8da8aa -r 66fc26f32f25 Attic/FIXME-TODO
--- a/Attic/FIXME-TODO	Fri Feb 26 16:15:03 2010 +0100
+++ b/Attic/FIXME-TODO	Fri Feb 26 16:22:47 2010 +0100
@@ -29,6 +29,9 @@
 Lower Priority
 ==============
 
+- the quot_lifted attribute should rename variables so they do not
+  suggest that they talk about raw terms.
+
 - accept partial equivalence relations
 
 - think about what happens if things go wrong (like