X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_cic_content%2Fncic2astMatcher.mli;h=50c5e446790b5b717a134da62c8ebcc845ba9ff4;hb=8f1a123e61ff079b1f9ad63cc915470ec7e6abf3;hp=47721cf4ee346a290dfe0149277e27cef8cac198;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/components/ng_cic_content/ncic2astMatcher.mli b/matitaB/components/ng_cic_content/ncic2astMatcher.mli
index 47721cf4e..50c5e4467 100644
--- a/matitaB/components/ng_cic_content/ncic2astMatcher.mli
+++ b/matitaB/components/ng_cic_content/ncic2astMatcher.mli
@@ -27,7 +27,7 @@ module Matcher32:
 sig
   (** @param l3_patterns level 3 (CIC) patterns (AKA cic_appl_pattern) *)
   val compiler :
-   #NCic.status ->
+   #NCicEnvironment.status ->
     (NotationPt.cic_appl_pattern * int) list ->
       (NCic.term ->
         ((string * NCic.term) list * NCic.term list * int) option)