X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcic%2FlibraryObjects.mli;h=b4e19dff80452402f04c92609563d4195c630a58;hb=f06968e452cca8782e822d98bec9007404abcbbe;hp=bb742f1722481b36ca28b5676ea5e467c19ea6e4;hpb=94267002fc18aa42a8c09779ad6485f93c3e90fa;p=helm.git

diff --git a/components/cic/libraryObjects.mli b/components/cic/libraryObjects.mli
index bb742f172..b4e19dff8 100644
--- a/components/cic/libraryObjects.mli
+++ b/components/cic/libraryObjects.mli
@@ -24,8 +24,10 @@
  *)
 
 val set_default : string -> UriManager.uri list -> unit
-val reset_defaults : unit -> unit 
 
+val reset_defaults : unit -> unit 
+val push: unit -> unit
+val pop: unit -> unit
 
 val eq_URI : unit -> UriManager.uri option