diff options
| author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-05-22 16:08:06 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-05-22 16:08:06 +0200 |
| commit | 718bffedfad111a44dcebfcd327d52dbeee30491 (patch) | |
| tree | b7d9df46d09c85e72440b7c95332e386ff02dfb5 /tests/pending/run/run-bug4840.check | |
| parent | 6965b470d433f501203c4e3d77b0919f826691ba (diff) | |
| download | dotty-718bffedfad111a44dcebfcd327d52dbeee30491.tar.gz dotty-718bffedfad111a44dcebfcd327d52dbeee30491.tar.bz2 dotty-718bffedfad111a44dcebfcd327d52dbeee30491.zip | |
Remove tests from pending.
Diffstat (limited to 'tests/pending/run/run-bug4840.check')
| -rw-r--r-- | tests/pending/run/run-bug4840.check | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tests/pending/run/run-bug4840.check b/tests/pending/run/run-bug4840.check deleted file mode 100644 index cdfc1f911..000000000 --- a/tests/pending/run/run-bug4840.check +++ /dev/null @@ -1,2 +0,0 @@ -Some(5) -Some(Some(Some(5))) |