From 8b8606be3b086e20ead16ca7417da5f1c4e02e79 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 30 Jan 2004 08:08:51 +0000
Subject: [PATCH] s/Callbacks/DisambiguateCallbacks/

---
 helm/gTopLevel/gTopLevel.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/helm/gTopLevel/gTopLevel.ml b/helm/gTopLevel/gTopLevel.ml
index e0e0bfca3..2b9e101ab 100644
--- a/helm/gTopLevel/gTopLevel.ml
+++ b/helm/gTopLevel/gTopLevel.ml
@@ -1081,7 +1081,7 @@ exception AmbiguousInput;;
 
 (* A WIDGET TO ENTER CIC TERMS *)
 
-module Callbacks =
+module DisambiguateCallbacks =
  struct
   let output_html ?append_NL = output_html ?append_NL (outputhtml ())
   let interactive_user_uri_choice =
@@ -1093,7 +1093,7 @@ module Callbacks =
  end
 ;;
 
-module TermEditor' = ChosenTermEditor.Make(Callbacks);;
+module TermEditor' = ChosenTermEditor.Make (DisambiguateCallbacks);;
 
 (* OTHER FUNCTIONS *)
 
-- 
2.39.2