From b4d9ab01221933cc45776a37221869cb83a590bb Mon Sep 17 00:00:00 2001
From: zsdz <wangkai@moe.edu.cn>
Date: Tue, 12 Jan 2021 10:15:17 +0800
Subject: [PATCH] 'pull'

---
 impls/scala/step0_repl.scala | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/impls/scala/step0_repl.scala b/impls/scala/step0_repl.scala
index 5ec94fe6c7..2963919fa3 100644
--- a/impls/scala/step0_repl.scala
+++ b/impls/scala/step0_repl.scala
@@ -1,3 +1,5 @@
+import scala.io.StdIn
+
 object step0_repl {
   def READ(str: String): String = {
     str
@@ -17,7 +19,7 @@ object step0_repl {
 
   def main(args: Array[String]) {
     var line:String = null
-    while ({line = readLine("user> "); line != null}) {
+    while ({line = StdIn.readLine("user> "); line != null}) {
       try {
         println(REP(line))
       } catch {