From a5d820319a5daf3106d95f1332ed0b88a4404cc0 Mon Sep 17 00:00:00 2001
From: Adrien Vannson <adrien.vannson@protonmail.com>
Date: Sun, 8 May 2022 18:14:13 +0200
Subject: [PATCH] =?UTF-8?q?Correction=20d'un=20bug=20lors=20de=20la=20lect?=
 =?UTF-8?q?ure=20de=20l'entr=C3=A9e=20standard?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 main.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/main.ml b/main.ml
index c46112c..cb1a803 100644
--- a/main.ml
+++ b/main.ml
@@ -24,9 +24,7 @@ let readline () = match file with
   | None -> (
         Printf.printf ">>> ";
         flush stdout;
-        let line = ref "" in
-        Scanf.scanf "%s" (fun s -> line := s);
-        !line
+        read_line ()
     )
   | Some f -> input_line f
 in