X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaTypes.ml;h=c49bce0040049595cbcceda5b405559dc4bb713b;hb=d0991ea0c7c83c100b2d223644cb2f11a8554fa1;hp=5305ea463d66cec6a780a76c2cc6fefd14250362;hpb=9f62475df3ed7aa7545321d53843cf80281645d7;p=helm.git

diff --git a/helm/matita/matitaTypes.ml b/helm/matita/matitaTypes.ml
index 5305ea463..c49bce004 100644
--- a/helm/matita/matitaTypes.ml
+++ b/helm/matita/matitaTypes.ml
@@ -136,6 +136,7 @@ class type mathViewer =
   object
     method checkTerm: Cic.conjecture -> Cic.metasenv -> unit
     method unload: unit -> unit
+    method set_href_callback: (UriManager.uri -> unit) option -> unit
   end
 
 type mml_of_cic_sequent =