diff options
Diffstat (limited to 'src/LegacyArithmetic/Pow2BaseProofs.v')
-rw-r--r-- | src/LegacyArithmetic/Pow2BaseProofs.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/LegacyArithmetic/Pow2BaseProofs.v b/src/LegacyArithmetic/Pow2BaseProofs.v index 681f0b0a9..35540f39a 100644 --- a/src/LegacyArithmetic/Pow2BaseProofs.v +++ b/src/LegacyArithmetic/Pow2BaseProofs.v @@ -552,4 +552,4 @@ Section UniformBase. rewrite decode_shift_app by auto using uniform_limb_widths_nonneg. reflexivity. Qed. -End UniformBase.
\ No newline at end of file +End UniformBase. |