4 anni fa · b2f176f2ec
--- a/kvraft/src/server.rs
+++ b/kvraft/src/server.rs
@@ -39,6 +39,7 @@ struct KVServerState {
 
				     kv: HashMap<String, String>,
			
 
				     debug_kv: HashMap<String, String>,
			
 
				     applied_op: HashMap<ClerkId, (UniqueId, CommitResult)>,
			
 
				+    #[allow(clippy::type_complexity)]
			
 
				     #[serde(skip)]
			
 
				     queries: HashMap<
			
 
				         UniqueId,