X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FinvokeTactics.mli;h=2c11fb3d358d0783e946537855106885aa934a03;hb=c2809aab05acc486084279fa04fd63b10575c35a;hp=11b8ecf72c9960d40e7cd9cc3c21f9afae7a7642;hpb=458d0fc95ae3f3a20bd91e3e29ddeb92a009d0fa;p=helm.git

diff --git a/helm/gTopLevel/invokeTactics.mli b/helm/gTopLevel/invokeTactics.mli
index 11b8ecf72..2c11fb3d3 100644
--- a/helm/gTopLevel/invokeTactics.mli
+++ b/helm/gTopLevel/invokeTactics.mli
@@ -62,7 +62,6 @@ module type Callbacks =
       (UriManager.uri * int * 'b list) list
     val mk_fresh_name_callback :
       Cic.context -> Cic.name -> typ:Cic.term -> Cic.name
-    val notify_hbugs : unit -> unit
   end
 
 module type Tactics =