diff options
| author |  Jade Philipoom <jadep@google.com> | 2018-04-10 15:00:46 +0200 |
|---|---|---|
| committer |  jadephilipoom <jade.philipoom@gmail.com> | 2018-04-11 03:56:21 -0400 |
| commit | 6863349da1bbdecaa7eac88188dff8369aae0249 (patch) | |
| tree | e92ffe41021cf26f858376429747edd901f60d31 /src/Arithmetic | |
| parent | d95b0f07951fb3eba4f6f1cddf5b1e4f7e8fc9e0 (diff) | |
remove comment
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. |