diff options
| author | Jason Gross | 2018-02-13 17:24:12 -0500 |
|---|---|---|
| committer | Jason Gross | 2018-02-13 17:24:12 -0500 |
| commit | 70f1d999ff030d20d10f23bcbf95f37216e182c9 (patch) | |
| tree | 016cb1532ca7f14ecec171af9ea4e2739b4d8621 /kernel/uGraph.ml | |
| parent | 4f65dfb13d8bb395abf4aa405cae9ed529302a06 (diff) | |
Fix issue with spurious timing test failures
When none of the numbers get over 100, the width of the table was
different.
See https://github.com/coq/coq/pull/6736#issuecomment-365386802
Diffstat (limited to 'kernel/uGraph.ml')
0 files changed, 0 insertions, 0 deletions