1 files changed, 9 insertions, 0 deletions
diff --git a/engine/proofview.ml b/engine/proofview.ml
index 73f26c320..53b3cdd9b 100644
--- a/engine/proofview.ml
+++ b/engine/proofview.ml
@@ -1010,6 +1010,15 @@ module Unsafe = struct
 
   let tclSETGOALS = Comb.set
 
+  let tclGETSHELF = Shelf.get
+
+  let tclSETSHELF = Shelf.set
+
+  let tclPUTSHELF to_shelve =
+    tclBIND tclGETSHELF (fun shelf -> tclSETSHELF (to_shelve@shelf))
+
+  let tclPUTGIVENUP = Giveup.put
+
   let tclEVARSADVANCE evd =
     Pv.modify (fun ps -> { ps with solution = evd; comb = undefined evd ps.comb })