diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/closure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/closure.ml b/kernel/closure.ml index 004b59b103..b64f6fe593 100644 --- a/kernel/closure.ml +++ b/kernel/closure.ml @@ -77,7 +77,7 @@ let betaiotazeta_red = { let unfold_red sp = { r_beta = true; r_const = false,[sp]; - r_zeta = false; + r_zeta = true; (* false for finer behaviour ? *) r_evar = false; r_iota = true } |