diff options
Diffstat (limited to 'engine/proofview_monad.mli')
| -rw-r--r-- | engine/proofview_monad.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/engine/proofview_monad.mli b/engine/proofview_monad.mli index a08cab3bf6..3437b6ce77 100644 --- a/engine/proofview_monad.mli +++ b/engine/proofview_monad.mli @@ -98,7 +98,7 @@ module P : sig val wprod : w -> w -> w (** Recording info trace (true) or not. *) - type e = bool + type e = { trace: bool; name : Names.Id.t; poly : bool } type u = Info.state |