first moogle template checkin

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

diff --git a/helm/gTopLevel/chosenTermEditor.mli b/helm/gTopLevel/chosenTermEditor.mli
index ebd9a95e664e61d80e73cf85a3e30f1d35911ed1..1cc4f56062c78e702e04ac7b682d70ba67c1c1ec 100644 (file)
--- a/helm/gTopLevel/chosenTermEditor.mli
+++ b/helm/gTopLevel/chosenTermEditor.mli
@@ -11,7 +11,7 @@ class type term_editor =
   end
 
 module Make :
-  functor (C : Disambiguate_types.Callbacks) ->
+  functor (C : DisambiguateTypes.Callbacks) ->
     sig
       val term_editor :
         MQIConn.handle ->