X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fgrafite_parser%2FgrafiteDisambiguate.mli;h=7a2e2dda877280596bbefae2bd39cbaa673eda98;hb=e9b482856904b32a5c92eee8bcd860ffe74fa74f;hp=f78507042e18d174c6a66f357d018cd99a2fe2f0;hpb=06e2976ca4ef6bdfe14beba14ba538a2479c51a8;p=helm.git

diff --git a/components/grafite_parser/grafiteDisambiguate.mli b/components/grafite_parser/grafiteDisambiguate.mli
index f78507042..7a2e2dda8 100644
--- a/components/grafite_parser/grafiteDisambiguate.mli
+++ b/components/grafite_parser/grafiteDisambiguate.mli
@@ -45,7 +45,7 @@ val disambiguate_command:
  LexiconEngine.status ->
  baseuri:string option ->
  Cic.metasenv ->
- ((CicNotationPt.term,CicNotationPt.obj) GrafiteAst.command) Disambiguate.disambiguator_input ->
+ ((CicNotationPt.term,CicNotationPt.term CicNotationPt.obj) GrafiteAst.command) Disambiguate.disambiguator_input ->
   LexiconEngine.status * Cic.metasenv * (Cic.term,Cic.obj) GrafiteAst.command
 
 val disambiguate_macro: