From 3224a2614b5734dd9c32e17049253a9427507c4f Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 28 Jul 2005 13:21:03 +0000
Subject: [PATCH] added attributes re-factoring item

---
 helm/ocaml/cic_notation/TODO | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/helm/ocaml/cic_notation/TODO b/helm/ocaml/cic_notation/TODO
index ad5df1a6f..cb864bcb9 100644
--- a/helm/ocaml/cic_notation/TODO
+++ b/helm/ocaml/cic_notation/TODO
@@ -14,6 +14,8 @@ TODO
   - hyperlink su head dei case pattern e sul tipo induttivo su cui si fa match
   - hyperlink multipli con il magic fold (e.g. notazione per le liste)
   - ident0 -> ident_0 ?
+  - re-factoring della gestione degli attributi nell'ast: togliere
+    Ast.AttributedTerm e aggiungere un record attr ad ogni costruttore dell'ast
 * bug di rimozione della notazione: pare che camlp4 distrugga un livello
   grammaticale quando toglie l'ultima produzione ivi definita
 
-- 
2.39.2