diff options
Diffstat (limited to 'plugins/cc')
| -rw-r--r-- | plugins/cc/cctac.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/cc/cctac.ml b/plugins/cc/cctac.ml index bd788a425a..de64368e2f 100644 --- a/plugins/cc/cctac.ml +++ b/plugins/cc/cctac.ml @@ -42,7 +42,7 @@ let whd env= (fun t -> Closure.whd_val infos (Closure.inject t)) let whd_delta env= - let infos=Closure.create_clos_infos Closure.betadeltaiota env in + let infos=Closure.create_clos_infos Closure.all env in (fun t -> Closure.whd_val infos (Closure.inject t)) (* decompose member of equality in an applicative format *) |