Completely broken parsing of Fix and CoFix fixed.

[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 14ba1da50ff8645e291f6289c03a03a88eafc23c..b20fbd5c03a946f11f7c6e94e7ef5c10c7d5f6f3 100644 (file)
--- a/helm/ocaml/cic_annotations/cicXPath.ml
+++ b/helm/ocaml/cic_annotations/cicXPath.ml
@@ -136,7 +136,7 @@ let get_ids_to_targets annobj =
       | C.AInductiveDefinition (id,itl,_,_) ->
          set_target id (C.Object annobj) ;
          List.iter
-          (function (_,_,arity,cl) ->
+          (function (_,_,_,arity,cl) ->
             add_target_term arity ;
             List.iter (function (_,ty) -> add_target_term ty) cl
           ) itl