uses DBI handle

diff --git a/helm/gTopLevel/chosenTermEditor.mli b/helm/gTopLevel/chosenTermEditor.mli
index 1cc4f56062c78e702e04ac7b682d70ba67c1c1ec..83eb99e7dca8de16e810d157b34db7f7fd28e423 100644 (file)
--- a/helm/gTopLevel/chosenTermEditor.mli
+++ b/helm/gTopLevel/chosenTermEditor.mli
@@ -14,7 +14,7 @@ module Make :
   functor (C : DisambiguateTypes.Callbacks) ->
     sig
       val term_editor :
-        MQIConn.handle ->
+        dbh:Dbi.connection ->
         ?packing:(GObj.widget -> unit) ->
         ?width:int ->
         ?height:int ->