diff options
Diffstat (limited to 'pretyping')
| -rw-r--r-- | pretyping/evarutil.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/evarutil.ml b/pretyping/evarutil.ml index 7e2d151bd..ff3044c5c 100644 --- a/pretyping/evarutil.ml +++ b/pretyping/evarutil.ml @@ -191,7 +191,7 @@ let real_clean isevars sp args rhs = | _ -> map_constr_with_binders succ subs k t in let body = subs 0 rhs in - (* if not (closed0 body) then error_not_clean CCI empty_env sp body; *) + if not (closed0 body) then error_not_clean CCI empty_env sp body; body let make_evar_instance_with_rel env = |