diff options
Diffstat (limited to 'tactics/wcclausenv.mli')
| -rw-r--r-- | tactics/wcclausenv.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/wcclausenv.mli b/tactics/wcclausenv.mli index cd88cc1b5b..24174e5082 100644 --- a/tactics/wcclausenv.mli +++ b/tactics/wcclausenv.mli @@ -32,7 +32,7 @@ type arg_binder = type arg_bindings = (arg_binder * constr) list -type wc = walking_constraints +type wc = named_context sigma val clenv_constrain_with_bindings : arg_bindings -> wc clausenv -> wc clausenv |