added persit-file-implementation.

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

diff --git a/helm/gTopLevel/applyStylesheets.mli b/helm/gTopLevel/applyStylesheets.mli
index b450cd992db45bd41f678e3655ef4f53caa06404..c445d370834768d37ec875476deb7a0a65e1fb9a 100644 (file)
--- 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 ->