diff options
Diffstat (limited to 'tactics/auto.ml')
| -rw-r--r-- | tactics/auto.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tactics/auto.ml b/tactics/auto.ml index 52c483771..00d7b8cb4 100644 --- a/tactics/auto.ml +++ b/tactics/auto.ml @@ -567,7 +567,8 @@ open Unification let auto_unif_flags = { modulo_conv_on_closed_terms = true; use_metas_eagerly = false; - modulo_delta = Cpred.empty; + modulo_delta = Cpred.empty; + modulo_zeta = true; } (* Try unification with the precompiled clause, then use registered Apply *) |