added annotations to Cic.Implicit

[helm.git] / helm / ocaml / cic / cicParser3.ml

diff --git a/helm/ocaml/cic/cicParser3.ml b/helm/ocaml/cic/cicParser3.ml
index 02d22b3216b0bf631f2be796689f627a775534be..121f36453a9930044f0d333937171baa338319e7 100644 (file)
--- a/helm/ocaml/cic/cicParser3.ml
+++ b/helm/ocaml/cic/cicParser3.ml
@@ -205,7 +205,7 @@ class eltype_implicit =
      assert (exp_named_subst = []) ;
      let n = self#node in
       let id = string_of_xml_attr (n#attribute "id") in
-       Cic.AImplicit id
+       Cic.AImplicit (id, None)
   end
 ;;