added annotations to Cic.Implicit

[helm.git] / helm / ocaml / cic_annotations / cicXPath.ml

diff --git a/helm/ocaml/cic_annotations/cicXPath.ml b/helm/ocaml/cic_annotations/cicXPath.ml
index b20fbd5c03a946f11f7c6e94e7ef5c10c7d5f6f3..75a598d91990728b4361452e750bc7669778cd6c 100644 (file)
--- a/helm/ocaml/cic_annotations/cicXPath.ml
+++ b/helm/ocaml/cic_annotations/cicXPath.ml
@@ -59,7 +59,7 @@ let get_ids_to_targets annobj =
         C.ARel (id,_,_,_)
       | C.AMeta (id,_,_)
       | C.ASort (id,_)
-      | C.AImplicit id ->
+      | C.AImplicit (id, _) ->
          set_target id (C.Term t)
       | C.ACast (id,va,ty) ->
          set_target id (C.Term t) ;