diff options
Diffstat (limited to 'isabelle-proto/src/session.rs')
-rw-r--r-- | isabelle-proto/src/session.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/isabelle-proto/src/session.rs b/isabelle-proto/src/session.rs index 85081d4..11fb5bc 100644 --- a/isabelle-proto/src/session.rs +++ b/isabelle-proto/src/session.rs @@ -4,8 +4,9 @@ use regex::Regex; use serde::de::DeserializeOwned; use serde_json::Value; -use crate::{AsyncAnswer, ClientCommand, Encode, SessionStartedFinished, UseTheoriesFinished, decode_async, get_async_task_id, wait_for_client}; +use crate::messages::*; +use crate::{decode_async, get_async_task_id, wait_for_client}; |