X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fclient%2Fhbugs_client.mli;fp=helm%2Fhbugs%2Fclient%2Fhbugs_client.mli;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=cf7ebc2a991a0aaf112f7e6e668cc2922d07832a;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/hbugs/client/hbugs_client.mli b/helm/hbugs/client/hbugs_client.mli
deleted file mode 100644
index cf7ebc2a9..000000000
--- a/helm/hbugs/client/hbugs_client.mli
+++ /dev/null
@@ -1,25 +0,0 @@
-
-open Hbugs_types
-
-exception Invalid_URL of string
-
-class hbugsClient :
-  ?use_hint_callback: (hint -> unit) ->
-  unit ->
-    object
-
-      method show : unit -> unit
-      method hide : unit -> unit
-
-      method setUseHintCallback : (hint -> unit) -> unit
-      method registerToBroker : unit -> unit
-      method unregisterFromBroker : unit -> unit
-      method subscribeAll : unit -> unit
-
-      method stateChange : state option -> unit
-
-        (** @return an hint by index *)
-      method hint : int -> hint
-
-    end
-