new getter, logger, and the hell

[helm.git] / helm / gTopLevel / oldDisambiguate.mli

diff --git a/helm/gTopLevel/oldDisambiguate.mli b/helm/gTopLevel/oldDisambiguate.mli
index 372f50085e317be663c75bb5ded0d88e0888955c..8fcc1c9341544e64390ed6ecd8e85d7b2d6c6796 100644 (file)
--- a/helm/gTopLevel/oldDisambiguate.mli
+++ b/helm/gTopLevel/oldDisambiguate.mli
@@ -38,7 +38,6 @@
 
 module type Callbacks =
   sig
-    val output_html : ?append_NL:bool -> Ui_logger.html_msg -> unit
     val interactive_user_uri_choice :
       selection_mode:[`SINGLE | `MULTIPLE] ->
       ?ok:string ->