X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcic%2Fcic.ml;h=20a6cb457dec63c700283ac952204357c38ab0de;hb=ba48c24f4edb0701a0aa346466f2a4211f719ab2;hp=1becd44428bd3b4f9139c01280e0d47ef48de26e;hpb=1b1c51a6172c0b41b7e5cf01cb0257a60e6f5622;p=helm.git

diff --git a/components/cic/cic.ml b/components/cic/cic.ml
index 1becd4442..20a6cb457 100644
--- a/components/cic/cic.ml
+++ b/components/cic/cic.ml
@@ -62,6 +62,7 @@ type object_flavour =
   | `Remark
   | `Theorem
   | `Variant
+  | `Axiom
   ]
 
 type object_class =