X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FbatchParser.ml;h=61220eccef979b87372e520c2ef40ef62f0de4a4;hb=9f60b3b0f4460aec52ec241037f6c475b421dd15;hp=bd7165becc4e7982a6b86ae78ac69d16e006b8ad;hpb=edb6ab182b915ebc8b2810574b0a87bdab39d051;p=helm.git

diff --git a/helm/gTopLevel/batchParser.ml b/helm/gTopLevel/batchParser.ml
index bd7165bec..61220ecce 100644
--- a/helm/gTopLevel/batchParser.ml
+++ b/helm/gTopLevel/batchParser.ml
@@ -40,11 +40,6 @@ let uri_pred_of_conf tryvars varsprefix =
 
 module DisambiguateCallbacks =
  struct
-  let output_html ?(append_NL = true) msg =
-    if verbose then
-      (if append_NL then print_string else print_endline)
-        (Ui_logger.string_of_html_msg msg)
-
   let interactive_user_uri_choice
    ~selection_mode ?ok ?enable_button_for_non_vars ~title ~msg ~id choices =
      List.filter !uri_predicate choices