Remove warning about unneeded named variable

2026-09-07 02:55:23 +02:00 · 2019-05-30 13:02:11 -07:00
parent 90d0c54caa
commit b9fed2abfb
1 changed files with 1 additions and 1 deletions
@@ -241,7 +241,7 @@ private[sbt] object FileStamp {
    def getOrElseUpdate(path: Path, stamper: FileStamper): Option[FileStamp] =
      underlying.get(path) match {
        case null     => updateImpl(path, stamper)
-        case Left(v)  => updateImpl(path, stamper)
+        case Left(_)  => updateImpl(path, stamper)
        case Right(v) => Some(v)
      }
    def remove(key: Path): Option[FileStamp] = {