X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Facic_content%2Facic2astMatcher.ml;h=2062b6c0651800235dd089d326e71b966f762b8e;hb=0ef9250d71eacd6b1022194128e6acfb74d52aac;hp=c711083204929699eca9756ec300d6bbbda42e2b;hpb=a46b2e95dd4b2496956c45e9895602a74e92fd3b;p=helm.git

diff --git a/helm/software/components/acic_content/acic2astMatcher.ml b/helm/software/components/acic_content/acic2astMatcher.ml
index c71108320..2062b6c06 100644
--- a/helm/software/components/acic_content/acic2astMatcher.ml
+++ b/helm/software/components/acic_content/acic2astMatcher.ml
@@ -35,6 +35,7 @@ struct
     type cic_mask_t =
       Blob
     | Uri of UriManager.uri
+    | NRef of NReference.reference
     | Appl of cic_mask_t list
 
     let uri_of_term t = CicUtil.uri_of_term (Deannotate.deannotate_term t)
@@ -52,6 +53,7 @@ struct
       Hashtbl.hash mask, tl
 
     let mask_of_appl_pattern = function
+      | Ast.NRefPattern nref -> NRef nref, []
       | Ast.UriPattern uri -> Uri uri, []
       | Ast.ImplicitPattern
       | Ast.VarPattern _ -> Blob, []
@@ -71,6 +73,7 @@ struct
       | Ast.ImplicitPattern
       | Ast.VarPattern _ -> PatternMatcher.Variable
       | Ast.UriPattern _
+      | Ast.NRefPattern _
       | Ast.ApplPattern _ -> PatternMatcher.Constructor
   end
 
@@ -79,7 +82,7 @@ struct
   let compiler rows =
     let match_cb rows matched_terms constructors =
      HExtlib.list_findopt
-      (fun (pl,pid) ->
+      (fun (pl,pid) _ ->
         let env =
           try
             List.map2