diff options
| author |  Jade Philipoom <jadep@google.com> | 2018-04-10 11:12:40 +0200 |
|---|---|---|
| committer |  jadephilipoom <jade.philipoom@gmail.com> | 2018-04-11 03:56:21 -0400 |
| commit | d95b0f07951fb3eba4f6f1cddf5b1e4f7e8fc9e0 (patch) | |
| tree | 2cdbce20ccf73c92b9fa0ab0b6707e6779db2948 /src/Arithmetic | |
| parent | bb4e939aae78709f243c5baf86d70fa191dff09f (diff) | |
add a comment to rerun build
Diffstat (limited to 'src/Arithmetic')
| -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. |