X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_annotations%2FcicXPath.ml;h=75a598d91990728b4361452e750bc7669778cd6c;hb=ebc089606ccbb3e9dbde142542a1f98f5020b4dd;hp=b20fbd5c03a946f11f7c6e94e7ef5c10c7d5f6f3;hpb=bac72fcaa876137ab7a5630e0c1badc2a627dce8;p=helm.git

diff --git a/helm/ocaml/cic_annotations/cicXPath.ml b/helm/ocaml/cic_annotations/cicXPath.ml
index b20fbd5c0..75a598d91 100644
--- 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) ;