From e7427d5c67c0a90c369adecb4b0c65c043cb2e34 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Tue, 26 Oct 2021 18:13:50 +0200
Subject: actually usable code structure for isabelle-proto

---
 isabelle-proto/src/session.rs | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

(limited to 'isabelle-proto/src/session.rs')

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!{}
     }
 }
-- 
cgit v1.2.3