diff options
Diffstat (limited to 'src/Arithmetic/BarrettReduction/Generalized.v')
| -rw-r--r-- | src/Arithmetic/BarrettReduction/Generalized.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Arithmetic/BarrettReduction/Generalized.v b/src/Arithmetic/BarrettReduction/Generalized.v index 54b8c7c6c..f1884bdf1 100644 --- a/src/Arithmetic/BarrettReduction/Generalized.v +++ b/src/Arithmetic/BarrettReduction/Generalized.v @@ -210,6 +210,7 @@ Section barrett. autorewrite with push_Zmul zsimplify zstrip_div. auto with lia. Qed. + (* TODO: remove this comment *) End StrongerBounds. End barrett_algorithm. End barrett. |