diff options
Diffstat (limited to 'src/Util/ZUtil/AddGetCarry.v')
| -rw-r--r-- | src/Util/ZUtil/AddGetCarry.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Util/ZUtil/AddGetCarry.v b/src/Util/ZUtil/AddGetCarry.v index 5b8cbf13e..49b3e6332 100644 --- a/src/Util/ZUtil/AddGetCarry.v +++ b/src/Util/ZUtil/AddGetCarry.v @@ -38,7 +38,7 @@ Module Z. reflexivity. } { f_equal. { push_Zmod; pull_Zmod; apply f_equal2; omega. } - { Z.div_mod_to_quot_rem; nia. } } + { Z.div_mod_to_quot_rem_in_goal; nia. } } { subst; autorewrite with zsimplify; f_equal; omega. } Qed. |