From 1375b8445de53567dae3e362983322a798c00335 Mon Sep 17 00:00:00 2001 From: Ognjen Maric Date: Wed, 16 Oct 2024 18:17:00 +0200 Subject: [PATCH] Please Clippy --- rs/tla_instrumentation/tla_instrumentation/src/tla_state.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rs/tla_instrumentation/tla_instrumentation/src/tla_state.rs b/rs/tla_instrumentation/tla_instrumentation/src/tla_state.rs index a94db3d21cd..f36544b4cbf 100644 --- a/rs/tla_instrumentation/tla_instrumentation/src/tla_state.rs +++ b/rs/tla_instrumentation/tla_instrumentation/src/tla_state.rs @@ -1,6 +1,6 @@ use crate::tla_value::{TlaValue, ToTla}; -use candid::CandidType; use crate::SourceLocation; +use candid::CandidType; use std::{ collections::{BTreeMap, BTreeSet}, fmt,