A bit of cleanup

dfinity · Oct 18, 2024 · 673ce0e · 673ce0e
1 parent 2eb03b8
commit 673ce0e
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 6 deletions.
diff --git a/rs/tla_instrumentation/tla_instrumentation/Cargo.toml b/rs/tla_instrumentation/tla_instrumentation/Cargo.toml
@@ -7,7 +7,6 @@ edition = "2021"
 
 [dependencies]
 candid = { workspace = true }
-# serde = { workspace = true }
 sha2 = { workspace = true }
 uuid = { workspace = true }
 

diff --git a/rs/tla_instrumentation/tla_instrumentation/src/lib.rs b/rs/tla_instrumentation/tla_instrumentation/src/lib.rs
@@ -259,11 +259,6 @@ pub fn log_fn_return(state: &mut MessageHandlerState) {
     state.context.return_from_function()
 }
 
-// // TODO: Does this work for modeling arguments as non-deterministically chosen locals?
-// pub fn log_method_call(function: Update, global: GlobalState, s) -> MessageHandlerState {
-//     MessageHandlerState::new(function, global)
-// }
-
 pub fn log_method_return(
     state: &mut MessageHandlerState,
     global: GlobalState,