refactored modules structure

[helm.git] / helm / ocaml / cic_notation / cicNotationParser.mli

diff --git a/helm/ocaml/cic_notation/cicNotationParser.mli b/helm/ocaml/cic_notation/cicNotationParser.mli
index b619606d02db4aa680d81a697c4bbdcddb6fa88f..6192bf05bbe984b2c55bf9130fe35c597f00b68a 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationParser.mli
+++ b/helm/ocaml/cic_notation/cicNotationParser.mli
@@ -48,7 +48,7 @@ val extend:
   CicNotationPt.term ->
   ?precedence:int ->
   ?associativity:Gramext.g_assoc ->
-  (CicNotationEnv.env_type -> CicNotationPt.location -> CicNotationPt.term) ->
+  (CicNotationEnv.t -> CicNotationPt.location -> CicNotationPt.term) ->
     rule_id
 
 val delete: rule_id -> unit