actually usable code structure for isabelle-protoHEADmaster

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!{}
     }
 }