Minor code uniformization.

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

diff --git a/matita/components/statuses.txt b/matita/components/statuses.txt
index 38800d6c016441d8c7d289df2792e583bc039be2..e6276014b23d8f772454f6755fc60c8a46978078 100644 (file)
--- a/matita/components/statuses.txt
+++ b/matita/components/statuses.txt
@@ -4,8 +4,7 @@ grafitetypes(baseuri,ng_mode)
  |--> grafiteparser(db=ast_statement grammarentry)
  |     |--> cicnotationparser(db=grammars+keywords+items)
  |
- |--> termcontentpres(db=level1_patterns21,compiled21,
- |                       pattern21_matrix,counter)
+ |--> termcontentpres(db=level1_patterns21,compiled21,pattern21_matrix,counter)
  |
  |--> tac(obj,stack)
        |--> auto(automation_cache)