From fe963a15d7fdc5d0fed286adcbf9d677eb524548 Mon Sep 17 00:00:00 2001
From: Dmitry Boulytchev <dboulytchev@gmail.com>
Date: Tue, 25 Feb 2020 01:19:15 +0300
Subject: [PATCH] Fixed bug in LreadLine

---
 runtime/runtime.c | 2 ++
 src/version.ml    | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/runtime/runtime.c b/runtime/runtime.c
index 525bcadfa..b72fd996c 100644
--- a/runtime/runtime.c
+++ b/runtime/runtime.c
@@ -1238,6 +1238,8 @@ extern void* LreadLine () {
 
   if (scanf ("%m[^\n]", &buf) == 1) {
     void * s = Bstring (buf);
+
+    getchar ();
     
     free (buf);
     return s;
diff --git a/src/version.ml b/src/version.ml
index 667f1dbe1..5330250d6 100644
--- a/src/version.ml
+++ b/src/version.ml
@@ -1 +1 @@
-let version = "Version 1.00, 897af34a, Mon Feb 24 01:08:09 2020 +0300"
+let version = "Version 1.00, 21a52fd5, Tue Feb 25 00:58:17 2020 +0300"