- content/interpretations.ml and ng_cic_content/nTermCicContent.ml where

[helm.git] / matita / components / statuses.txt

diff --git a/matita/components/statuses.txt b/matita/components/statuses.txt
index e2be9b49b5861273688af6db374b8ac83b8bf958..104a909385b8be2a9346529e138c2dd0ead6bead 100644 (file)
--- a/matita/components/statuses.txt
+++ b/matita/components/statuses.txt
@@ -7,8 +7,10 @@ grafitetypes -> tac -> auto + eq + (grafitedisambiguate = lexicon+nciccoercion)
                                                             |-> notation_parser
 
 
-ntermciccontent = nciccoercion+interpretation
-                       |
-                  unif_hint
-
-applytransformation = ntermciccontent+termcontentpres
+applytransformation
+    |
+    |-> ntermciccontent = nciccoercion+interpretation
+    |                       |
+    |                    unif_hint
+    |
+    |-> termcontentpres