File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed
doc-tool/src/dotty/tools/dottydoc Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -219,8 +219,8 @@ trait CommentParser extends util.MemberLookup {
219
219
def name : String
220
220
}
221
221
222
- private final case class SimpleTagKey (name : String ) extends TagKey
223
- private final case class SymbolTagKey (name : String , symbol : String ) extends TagKey
222
+ private /* final*/ case class SimpleTagKey (name : String ) extends TagKey
223
+ private /* final*/ case class SymbolTagKey (name : String , symbol : String ) extends TagKey
224
224
225
225
/** Something that should not have happened, happened, and Scaladoc should exit. */
226
226
private def oops (msg : String ): Nothing =
Original file line number Diff line number Diff line change @@ -6,7 +6,7 @@ trait ResourceFinder {
6
6
/** If, for some reason, the supplied default files cannot be found - this
7
7
* exception will be thrown in `layouts`.
8
8
*/
9
- final case class ResourceNotFoundException (message : String ) extends Exception (message)
9
+ /* final*/ case class ResourceNotFoundException (message : String ) extends Exception (message)
10
10
11
11
protected def getResource (r : String ): String =
12
12
Option (getClass.getResourceAsStream(r))
You can’t perform that action at this time.
0 commit comments