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 {
219219 def name : String
220220 }
221221
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
224224
225225 /** Something that should not have happened, happened, and Scaladoc should exit. */
226226 private def oops (msg : String ): Nothing =
Original file line number Diff line number Diff line change @@ -6,7 +6,7 @@ trait ResourceFinder {
66 /** If, for some reason, the supplied default files cannot be found - this
77 * exception will be thrown in `layouts`.
88 */
9- final case class ResourceNotFoundException (message : String ) extends Exception (message)
9+ /* final*/ case class ResourceNotFoundException (message : String ) extends Exception (message)
1010
1111 protected def getResource (r : String ): String =
1212 Option (getClass.getResourceAsStream(r))
You can’t perform that action at this time.
0 commit comments