X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Fcic_disambiguation%2Fdisambiguate.mli;h=c1a50aceb82b8a44214cfa24f933a96061dfb2ea;hb=da7f6fd7cc9658cfb2423db0d619811b43552976;hp=123fcf96928f82fd10f0f43cb3d26b3b30648450;hpb=e9b482856904b32a5c92eee8bcd860ffe74fa74f;p=helm.git

diff --git a/components/cic_disambiguation/disambiguate.mli b/components/cic_disambiguation/disambiguate.mli
index 123fcf969..c1a50aceb 100644
--- a/components/cic_disambiguation/disambiguate.mli
+++ b/components/cic_disambiguation/disambiguate.mli
@@ -41,8 +41,7 @@ exception NoWellTypedInterpretation of
 exception PathNotWellFormed
 
 val interpretate_path :
-  context:Cic.name list -> CicNotationPt.term ->
-    Cic.term
+  context:Cic.name list -> CicNotationPt.term -> Cic.term
 
 type 'a disambiguator_input = string * int * 'a