X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_cic_content%2Fncic2astMatcher.ml;h=2245e34295791f082d1e4a451b4c811aba52ba4d;hb=7288b45eacf9f7dcd118b3b89b81ff19ae9d6ce5;hp=41d9aa08c7e08c0609d170e9e726c79b59045777;hpb=3d23faf2969e2591db93f8bacc61952f3b66e2ca;p=helm.git

diff --git a/helm/software/components/ng_cic_content/ncic2astMatcher.ml b/helm/software/components/ng_cic_content/ncic2astMatcher.ml
index 41d9aa08c..2245e3429 100644
--- a/helm/software/components/ng_cic_content/ncic2astMatcher.ml
+++ b/helm/software/components/ng_cic_content/ncic2astMatcher.ml
@@ -28,6 +28,9 @@
 module Ast = CicNotationPt
 module Util = CicNotationUtil
 
+let reference_of_oxuri = ref (fun _ -> assert false);;
+let set_reference_of_oxuri f = reference_of_oxuri := f;;
+
 module Matcher32 =
 struct
   module Pattern32 =
@@ -49,7 +52,7 @@ struct
       Hashtbl.hash mask, tl
 
     let mask_of_appl_pattern = function
-      | Ast.UriPattern uri -> NRef (OCic2NCic.reference_of_oxuri uri), []
+      | Ast.UriPattern uri -> NRef (!reference_of_oxuri uri), []
       | Ast.NRefPattern nref -> NRef nref, []
       | Ast.ImplicitPattern
       | Ast.VarPattern _ -> Blob, []