diff options
author | stuebinm | 2021-10-26 18:13:50 +0200 |
---|---|---|
committer | stuebinm | 2021-10-26 18:13:50 +0200 |
commit | e7427d5c67c0a90c369adecb4b0c65c043cb2e34 (patch) | |
tree | 3e58c244cda8d34f9ab3f087bacc1ed6aeedfdf8 /isabelle-proto/src/session.rs | |
parent | 4c6d323ad1536e9ef6082eb34d872ccae1f389ef (diff) |
Diffstat (limited to '')
-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!{} } } |