diff options
Diffstat (limited to 'src/dotty/tools/dotc/repl/JLineReader.scala')
-rw-r--r-- | src/dotty/tools/dotc/repl/JLineReader.scala | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/src/dotty/tools/dotc/repl/JLineReader.scala b/src/dotty/tools/dotc/repl/JLineReader.scala deleted file mode 100644 index 73463cd7c..000000000 --- a/src/dotty/tools/dotc/repl/JLineReader.scala +++ /dev/null @@ -1,16 +0,0 @@ -package dotty.tools -package dotc -package repl - -import dotc.core.Contexts.Context -import jline.console.ConsoleReader - -/** Adaptor for JLine - */ -class JLineReader extends InteractiveReader { - val reader = new ConsoleReader() - - val interactive = true - - def readLine(prompt: String) = reader.readLine(prompt) -} |