From a757b92c9d82865f2ec836de9d8474bf47a723db Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 3 Sep 2019 15:18:43 -0600
Subject: [PATCH] fix read module if readline is not present

---
 src/prolog/read.rs | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/src/prolog/read.rs b/src/prolog/read.rs
index 6af0794d..3eda829d 100644
--- a/src/prolog/read.rs
+++ b/src/prolog/read.rs
@@ -159,18 +159,6 @@ pub mod readline
         }
     }
 
-    pub fn read_batch(_: &str) -> Result<Vec<u8>, ::SessionError> {
-        let mut buf = vec![];
-
-        let stdin = stdin();
-        let mut stdin = stdin.lock();
-
-        match stdin.read_to_end(&mut buf) {
-            Ok(_) => Ok(buf),
-            _ => Err(::SessionError::UserPrompt)
-        }
-    }
-
     #[inline]
     pub fn input_stream() -> ::PrologStream {
         let reader: Box<Read> = Box::new(StdinWrapper { buf: BufReader::new(stdin()) });
-- 
2.54.0