From: notoria <notoria@users.noreply.github.com>
Date: Fri, 31 Jul 2020 16:12:38 +0000 (+0200)
Subject: Improved readline
X-Git-Tag: v0.8.127~1^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ac00ae4daf5f363226eaa27de10b416fba3fb417;p=scryer-prolog.git

Improved readline
---

diff --git a/src/read.rs b/src/read.rs
index 803102bf..9230f76e 100644
--- a/src/read.rs
+++ b/src/read.rs
@@ -67,7 +67,10 @@ pub mod readline {
                         }
                     }
 
-                    *self.pending_input.get_mut() += "\n";
+                    if self.pending_input.get_ref().chars().last() != Some('\n')
+                    {
+                        *self.pending_input.get_mut() += "\n";
+                    }
                     self.pending_input.read(buf)
                 }
                 Err(ReadlineError::Eof) => {