X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_cic_content%2Fncic2astMatcher.mli;h=6205f852211aa52ecc388cff01b30de1cdf046c1;hb=95adf6dc8e29a71adc34e71eafe3f427990126e0;hp=14e59e0022e7e0421afed00c791d2c27397c73df;hpb=5149063488e3771fb55c198e0ecef5fb5aaaab67;p=helm.git

diff --git a/helm/software/components/ng_cic_content/ncic2astMatcher.mli b/helm/software/components/ng_cic_content/ncic2astMatcher.mli
index 14e59e002..6205f8522 100644
--- a/helm/software/components/ng_cic_content/ncic2astMatcher.mli
+++ b/helm/software/components/ng_cic_content/ncic2astMatcher.mli
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+val set_reference_of_oxuri: (UriManager.uri -> NReference.reference) -> unit
+
 module Matcher32:
 sig
   (** @param l3_patterns level 3 (CIC) patterns (AKA cic_appl_pattern) *)