X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcontent_pres%2FcicNotationParser.mli;h=134a42c3caf3236c20778c6ba62d64f79580610b;hb=1fa0edadead8eff6808429323c634171f44dc50f;hp=53182dc3167d6d8ae8e119b444561d7137a0547a;hpb=f084490a318c45b1a4090a85119f54c463aec063;p=helm.git

diff --git a/components/content_pres/cicNotationParser.mli b/components/content_pres/cicNotationParser.mli
index 53182dc31..134a42c3c 100644
--- a/components/content_pres/cicNotationParser.mli
+++ b/components/content_pres/cicNotationParser.mli
@@ -56,7 +56,7 @@ val level2_ast_grammar: Grammar.g
 val term : CicNotationPt.term Grammar.Entry.e
 
 val let_defs :
-  (CicNotationPt.capture_variable list * CicNotationPt.capture_variable * CicNotationPt.term * int) list
+  (CicNotationPt.term CicNotationPt.capture_variable list * CicNotationPt.term CicNotationPt.capture_variable * CicNotationPt.term * int) list
     Grammar.Entry.e
 
 val protected_binder_vars :