X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FapplyStylesheets.mli;h=c445d370834768d37ec875476deb7a0a65e1fb9a;hb=70f855932359e26ca89deb11c22f9c9d26154827;hp=b450cd992db45bd41f678e3655ef4f53caa06404;hpb=bac72fcaa876137ab7a5630e0c1badc2a627dce8;p=helm.git

diff --git a/helm/gTopLevel/applyStylesheets.mli b/helm/gTopLevel/applyStylesheets.mli
index b450cd992..c445d3708 100644
--- a/helm/gTopLevel/applyStylesheets.mli
+++ b/helm/gTopLevel/applyStylesheets.mli
@@ -33,6 +33,8 @@
 (*                                                                            *)
 (******************************************************************************)
 
+val reload_stylesheets : unit -> unit
+
 val mml_of_cic_sequent :
  Cic.metasenv ->
  int * Cic.context * Cic.term ->