diff --git a/src/main/scala/Compilation.scala b/src/main/scala/Compilation.scala
index cf0a2aa..7174719 100644
--- a/src/main/scala/Compilation.scala
+++ b/src/main/scala/Compilation.scala
@@ -57,6 +57,7 @@ object Compilation {
     "-Xlint:private-shadow",         // A private field (or class parameter) shadows a superclass field.
     "-Xlint:stars-align",            // Pattern sequence wildcard must align with sequence component.
     "-Xlint:type-parameter-shadow",  // A local type parameter shadows a type already in scope.
+    "-Xsource:2.13",
     "-Yrangepos",
     "-Ywarn-dead-code",     // Warn when dead code is identified.
     "-Ywarn-numeric-widen", // Warn when numerics are widened.