From 673ce0e3299683fe1d672a025415e1378b730297 Mon Sep 17 00:00:00 2001
From: Ognjen Maric <ognjen.maric@dfinity.org>
Date: Wed, 16 Oct 2024 17:54:07 +0200
Subject: [PATCH] A bit of cleanup

---
 rs/tla_instrumentation/tla_instrumentation/Cargo.toml | 1 -
 rs/tla_instrumentation/tla_instrumentation/src/lib.rs | 5 -----
 2 files changed, 6 deletions(-)

diff --git a/rs/tla_instrumentation/tla_instrumentation/Cargo.toml b/rs/tla_instrumentation/tla_instrumentation/Cargo.toml
index 2ed6e33f1c7..de5c01c8661 100644
--- 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
index 5674be19557..6b754008bcd 100644
--- 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,