diff options
| -rw-r--r-- | test/files/run/retsynch.check (renamed from test/pending/run/retsynch.check) | 0 | ||||
| -rw-r--r-- | test/files/run/retsynch.scala (renamed from test/pending/run/retsynch.scala) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/test/pending/run/retsynch.check b/test/files/run/retsynch.check index 8c40598f93..8c40598f93 100644 --- a/test/pending/run/retsynch.check +++ b/test/files/run/retsynch.check diff --git a/test/pending/run/retsynch.scala b/test/files/run/retsynch.scala index d6398cf28e..d6398cf28e 100644 --- a/test/pending/run/retsynch.scala +++ b/test/files/run/retsynch.scala |