diff options
Diffstat (limited to 'isabelle-proto/src/session.rs')
-rw-r--r-- | isabelle-proto/src/session.rs | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/isabelle-proto/src/session.rs b/isabelle-proto/src/session.rs index 11fb5bc..b1716d6 100644 --- a/isabelle-proto/src/session.rs +++ b/isabelle-proto/src/session.rs @@ -5,10 +5,7 @@ use serde::de::DeserializeOwned; use serde_json::Value; use crate::messages::*; - -use crate::{decode_async, get_async_task_id, wait_for_client}; - - +use crate::pipe::*; pub struct IsabelleSession { reader : BufReader<ChildStdout>, @@ -121,7 +118,6 @@ impl IsabelleSession { } } } - unreachable!{} - None + unreachable!{} } } |