diff options
Diffstat (limited to 'engine/proofview.ml')
| -rw-r--r-- | engine/proofview.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/engine/proofview.ml b/engine/proofview.ml index 77a884121e..766ba7b35d 100644 --- a/engine/proofview.ml +++ b/engine/proofview.ml @@ -1067,6 +1067,9 @@ module Goal = struct } let assume (gl : t) = (gl : t) + + let print { sigma; self } = { Evd.it = self; sigma } + let state { state=state } = state let env {env} = env |