- Changed ApplyTransformation API to return both the mathml and acic,

[helm.git] / helm / ocaml / cic_disambiguation / disambiguateTypes.mli

diff --git a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
index c210849669320aaaa57e6e2cfc5e0cb2e119fe96..6146a082ddc9548db5bea3f89271862b77fad5e8 100644 (file)
--- 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