We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9ee3389 commit 182861bCopy full SHA for 182861b
compiler/src/dotty/tools/dotc/config/Properties.scala
@@ -11,7 +11,7 @@ import java.nio.charset.StandardCharsets
11
/** Loads `library.properties` from the jar. */
12
object Properties extends PropertiesTrait {
13
protected def propCategory: String = "compiler"
14
- protected def pickJarBasedOn: Class[Option[?]] = classOf[Option[?]]
+ protected def pickJarBasedOn: Class[PropertiesTrait] = classOf[PropertiesTrait]
15
16
/** Scala manifest attributes.
17
*/
0 commit comments