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, ::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 = Box::new(StdinWrapper { buf: BufReader::new(stdin()) });