diff options
Diffstat (limited to 'src/dotty/tools/dotc/config/JavaPlatform.scala')
-rw-r--r-- | src/dotty/tools/dotc/config/JavaPlatform.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/config/JavaPlatform.scala b/src/dotty/tools/dotc/config/JavaPlatform.scala index ef5fe9475..7f234b613 100644 --- a/src/dotty/tools/dotc/config/JavaPlatform.scala +++ b/src/dotty/tools/dotc/config/JavaPlatform.scala @@ -13,7 +13,7 @@ class JavaPlatform extends Platform { def classPath(implicit ctx: Context): ClassPath = { if (currentClassPath.isEmpty) - currentClassPath = Some(new PathResolver(ctx).result) + currentClassPath = Some(new PathResolver(ctx.condensed).result) currentClassPath.get } |