X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2FdisambiguateTypes.mli;h=6146a082ddc9548db5bea3f89271862b77fad5e8;hb=b41886e9d21d756279bd6a2ec3f19c17b1a64401;hp=c210849669320aaaa57e6e2cfc5e0cb2e119fe96;hpb=18ad62cacbbb08decd4332b0bab449e640114fd7;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
index c21084966..6146a082d 100644
--- a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
+++ b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
@@ -47,7 +47,7 @@ module type Callbacks =
       ?enable_button_for_non_vars:bool ->
       title:string -> msg:string -> id:string -> string list -> string list
 
-    val interactive_interpretation_choice :
+      val interactive_interpretation_choice :
       (string * string) list list -> int list
 
     (** @param title gtk window title for user prompting