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