snapshot, notably:

[helm.git] / helm / ocaml / cic_notation / cicNotationUtil.ml

diff --git a/helm/ocaml/cic_notation/cicNotationUtil.ml b/helm/ocaml/cic_notation/cicNotationUtil.ml
index d3a87dfc1845402959012693d859361303671172..4dbc83f9eb7d4ffd275fd0be51b7f0bdacd0e2d0 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationUtil.ml
+++ b/helm/ocaml/cic_notation/cicNotationUtil.ml
@@ -350,13 +350,13 @@ let dress sauce =
 let find_appl_pattern_uris ap =
   let rec aux acc =
     function
-    | UriPattern uri ->
+    | GrafiteAst.UriPattern uri ->
         (try
           ignore (List.find (fun uri' -> UriManager.eq uri uri') acc);
           acc
         with Not_found -> uri :: acc)
-    | VarPattern _ -> acc
-    | ApplPattern apl -> List.fold_left aux acc apl
+    | GrafiteAst.VarPattern _ -> acc
+    | GrafiteAst.ApplPattern apl -> List.fold_left aux acc apl
   in
   aux [] ap