From 30ea4d47feea7aee30eb80903f6cbd0e2ea6489b Mon Sep 17 00:00:00 2001 From: =?utf8?q?Alexis=20Laferri=C3=A8re?= Date: Wed, 14 Feb 2018 08:25:49 -0500 Subject: [PATCH] nitx: remove dependency on GNU readline MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Alexis Laferrière --- src/nitx.nit | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/nitx.nit b/src/nitx.nit index d40da24..8442ff7 100644 --- a/src/nitx.nit +++ b/src/nitx.nit @@ -25,7 +25,7 @@ module nitx import frontend import doc::term -import readline +import prompt redef class ToolContext @@ -90,7 +90,7 @@ class Nitx # Prompts the user for a query. fun prompt do - var line = readline(">> ", true) + var line = sys.prompt(">> ", true) if line != null then do_command(line) else -- 1.7.9.5