Merge branch 'v8.5'

1 files changed, 1 insertions, 1 deletions

diff --git a/tactics/equality.ml b/tactics/equality.ml
index 6c550e9163..bc03baf264 100644
--- a/tactics/equality.ml
+++ b/tactics/equality.ml
@@ -230,7 +230,7 @@ let rewrite_keyed_core_unif_flags = {
     (* This is set dynamically *)
 
   restrict_conv_on_strict_subterms = false;
-  modulo_betaiota = false;
+  modulo_betaiota = true;
 
   modulo_eta = true;
 }