diff options
author | odersky <odersky@gmail.com> | 2015-07-06 19:01:45 +0200 |
---|---|---|
committer | odersky <odersky@gmail.com> | 2015-07-06 19:01:45 +0200 |
commit | b82313268b912c62f9ddc89fefd02be96f2de64c (patch) | |
tree | a1f2b2de5751b169558c5a11532ce37bf33f24ad /tests/neg | |
parent | 6561d4cadc2e1af354486c34817b86131ffbe1e7 (diff) | |
parent | c7cc6d851b660c97e80cda806bf5366200c8836b (diff) | |
download | dotty-b82313268b912c62f9ddc89fefd02be96f2de64c.tar.gz dotty-b82313268b912c62f9ddc89fefd02be96f2de64c.tar.bz2 dotty-b82313268b912c62f9ddc89fefd02be96f2de64c.zip |
Merge pull request #708 from dotty-staging/add/check-reentrant
Check that dotty is reentrant
Diffstat (limited to 'tests/neg')
0 files changed, 0 insertions, 0 deletions