diff options
Diffstat (limited to 'src/Reflection/Z/Reify.v')
| -rw-r--r-- | src/Reflection/Z/Reify.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Reflection/Z/Reify.v b/src/Reflection/Z/Reify.v index 9500b2b88..87c3e29e7 100644 --- a/src/Reflection/Z/Reify.v +++ b/src/Reflection/Z/Reify.v @@ -27,4 +27,4 @@ Ltac Reify e := let v := Reflection.Reify.Reify base_type interp_base_type op e in constr:((*Inline _*) ((*CSE _*) (InlineConst (Linearize v)))). Ltac Reify_rhs := - etransitivity; [ | Reflection.Reify.Reify_rhs base_type interp_base_type op interp_op ]. + Reflection.Reify.Reify_rhs_gen Reify ltac:(fun _ => idtac) interp_op ltac:(fun tac => try tac ()). |