X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_kernel%2FnCicPp.ml;h=523b3d4e16d200cbf887b65fed857acce02467f4;hb=0d2bfb98d8343b4e6cefdb506a813b7cb5749630;hp=1a793b92fde5db51b370c46eac38a5343f188058;hpb=cb11de1c61f0b61935b1c6c1832deacb49f7b5bd;p=helm.git

diff --git a/matita/components/ng_kernel/nCicPp.ml b/matita/components/ng_kernel/nCicPp.ml
index 1a793b92f..523b3d4e1 100644
--- a/matita/components/ng_kernel/nCicPp.ml
+++ b/matita/components/ng_kernel/nCicPp.ml
@@ -272,12 +272,13 @@ let string_of_generated = function
 ;;
 
 let string_of_flavour = function
-  | `Definition -> "Definition"
-  | `Fact -> "Fact"
-  | `Lemma -> "Lemma"
-  | `Theorem -> "Theorem"
-  | `Corollary -> "Corollary"
-  | `Example -> "Example"
+  | `Axiom -> "axiom"
+  | `Definition -> "definition"
+  | `Fact -> "fact"
+  | `Lemma -> "lemma"
+  | `Theorem -> "theorem"
+  | `Corollary -> "corollary"
+  | `Example -> "example"
 ;;
         
 let string_of_pragma = function