* Hbugs interface clean-up.

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

diff --git a/helm/gTopLevel/hbugs.mli b/helm/gTopLevel/hbugs.mli
index 2982ba09bb0c649b9298490a0015308eb3d09812..022bbf43a2395dda6ffaba0e86db81d62616bd67 100644 (file)
--- a/helm/gTopLevel/hbugs.mli
+++ b/helm/gTopLevel/hbugs.mli
@@ -26,16 +26,15 @@
  *  http://helm.cs.unibo.it/
  *)
 
-module type HbugsActions =
-  sig
-    val enable: unit -> unit
-    val disable: unit -> unit
-    val toggle: bool -> unit
+val enable: unit -> unit
+val disable: unit -> unit
+val toggle: bool -> unit
 
-    val quit: unit -> unit
+val quit: unit -> unit
 
-    val notify: unit -> unit
-  end
+val notify: unit -> unit
+val clear: unit -> unit
 
-module Make (Tactics: InvokeTactics.Tactics) : HbugsActions
+module type Unit = sig end
 
+module Initialize (Tactics: InvokeTactics.Tactics) : Unit