diff options
| author | LemonBoy <LemonBoy@users.noreply.github.com> | 2018-10-14 00:00:21 +0200 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2018-10-14 00:00:21 +0200 |
| commit | 166720bdf906c20d485b6baadf4c301432dda1de (patch) | |
| tree | 9c9995abf1c9794e10d576f4173f553fb1fcabf1 /tests | |
| parent | d570dea4807c30ec1463691dc722a9e35e773371 (diff) | |
| download | Nim-166720bdf906c20d485b6baadf4c301432dda1de.tar.gz | |
Make sure the annotation for `||` is avail. at CT (#9354)
Closes #9353
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions