From 3d74bfa72bdc794cfb11b6afe15c77a5357617d1 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Sat, 1 Oct 2016 21:50:57 +0200
Subject: Remove unused language option

In fact all of dotty.language can be removed.
---
 src/dotty/language.scala | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 src/dotty/language.scala

(limited to 'src')

diff --git a/src/dotty/language.scala b/src/dotty/language.scala
deleted file mode 100644
index 416a4281b..000000000
--- a/src/dotty/language.scala
+++ /dev/null
@@ -1,9 +0,0 @@
-package dotty
-
-object language {
-
-  class Feature
-
-  /** Keep union types */
-  val keepUnions = new Feature
-}
-- 
cgit v1.2.3