Patch to the unification to make the case (i l) vs (t l) work when i is

[helm.git] / helm / software / components / cic / cic.ml

diff --git a/helm/software/components/cic/cic.ml b/helm/software/components/cic/cic.ml
index 1becd44428bd3b4f9139c01280e0d47ef48de26e..20a6cb457dec63c700283ac952204357c38ab0de 100644 (file)
--- a/helm/software/components/cic/cic.ml
+++ b/helm/software/components/cic/cic.ml
@@ -62,6 +62,7 @@ type object_flavour =
   | `Remark
   | `Theorem
   | `Variant
+  | `Axiom
   ]
 
 type object_class =