cic module removed (RIP)

[helm.git] / matita / components / ng_kernel / nCicPp.ml

diff --git a/matita/components/ng_kernel/nCicPp.ml b/matita/components/ng_kernel/nCicPp.ml
index 1a793b92fde5db51b370c46eac38a5343f188058..523b3d4e16d200cbf887b65fed857acce02467f4 100644 (file)
--- 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