diff options
Diffstat (limited to 'vernac/vernacstate.mli')
| -rw-r--r-- | vernac/vernacstate.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/vernac/vernacstate.mli b/vernac/vernacstate.mli index dff81ad9bb..3d21b475e9 100644 --- a/vernac/vernacstate.mli +++ b/vernac/vernacstate.mli @@ -25,6 +25,8 @@ type t = { shallow : bool (* is the state trimmed down (libstack) *) } +val pstate : t -> Proof_global.pstate option + val freeze_interp_state : marshallable:bool -> t val unfreeze_interp_state : t -> unit |