diff options
Diffstat (limited to 'toplevel/whelp.mli')
| -rw-r--r-- | toplevel/whelp.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/whelp.mli b/toplevel/whelp.mli index 1871f3906..4ad615a62 100644 --- a/toplevel/whelp.mli +++ b/toplevel/whelp.mli @@ -19,6 +19,6 @@ open Environ type whelp_request = | Locate of string | Elim of inductive - | Constr of string * env * constr + | Constr of string * constr val whelp : whelp_request -> unit |