diff options
Diffstat (limited to 'src/Util/ZUtil.v')
| -rw-r--r-- | src/Util/ZUtil.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Util/ZUtil.v b/src/Util/ZUtil.v index 84d9ed3da..095d418a8 100644 --- a/src/Util/ZUtil.v +++ b/src/Util/ZUtil.v @@ -546,7 +546,7 @@ Ltac Zsplit_sums_step := => etransitivity; [ eapply Z.sub_le_mono | ] end. Ltac Zsplit_sums := - try (Zsplit_sums_step; [ Zsplit_sums | ]). + try (Zsplit_sums_step; [ Zsplit_sums.. | ]). Ltac Zpre_reorder_fractions_step := match goal with | [ |- context[?x / ?y * ?z] ] |