X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fgrafite_parser%2FgrafiteDisambiguate.mli;h=f78507042e18d174c6a66f357d018cd99a2fe2f0;hb=e53c9d7cf1a5d3d33c41cad5b046b018a62a9d2d;hp=582ab11ec8afc0050e7058e256379e29e42ed58c;hpb=cbcd34fe15122eb9835a5226b98be1050b097d6a;p=helm.git

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