From 40cba517c6a924b51fbe110feda0a8aafdc06fe9 Mon Sep 17 00:00:00 2001
From: Scala Steward <me@scala-steward.org>
Date: Fri, 26 Feb 2021 23:29:24 +0100
Subject: [PATCH] Update scala-library to 2.13.5

---
 build.sbt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sbt b/build.sbt
index f8563aa..56ee474 100644
--- a/build.sbt
+++ b/build.sbt
@@ -10,7 +10,7 @@ organization := "edu.berkeley.cs"
 version := "1.5-SNAPSHOT"
 autoAPIMappings := true
 scalaVersion := "2.12.10"
-crossScalaVersions := Seq("2.12.10", "2.11.12")
+crossScalaVersions := Seq("2.12.10", "2.13.5")
 scalacOptions := Seq("-deprecation", "-feature") ++ scalacOptionsVersion(scalaVersion.value)
 
 def scalacOptionsVersion(scalaVersion: String): Seq[String] = {