diff options
| author | Gaëtan Gilbert | 2020-08-28 15:22:26 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-08-28 15:22:26 +0200 |
| commit | 0b4c7edc03fda831a746e5a34418e948d19c9c62 (patch) | |
| tree | 5615c9909861433c354323fec8ed8cba2ed5da3c /plugins/syntax/float_syntax.ml | |
| parent | 911f33f0a0ff648082d329841388f59e8cecf231 (diff) | |
Add test for past anomaly
Close #5703
I have no idea when this got fixed.
Diffstat (limited to 'plugins/syntax/float_syntax.ml')
0 files changed, 0 insertions, 0 deletions