From 0e5d7aad55b8fad1431b7bd19a6d5273b0ef1f33 Mon Sep 17 00:00:00 2001 From: Carolyn Zech Date: Tue, 29 Oct 2024 17:25:08 -0400 Subject: [PATCH] Update library/kani_macros/src/sysroot/contracts/mod.rs --- library/kani_macros/src/sysroot/contracts/mod.rs | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/library/kani_macros/src/sysroot/contracts/mod.rs b/library/kani_macros/src/sysroot/contracts/mod.rs index a8046d8a7521..4b347dcfb361 100644 --- a/library/kani_macros/src/sysroot/contracts/mod.rs +++ b/library/kani_macros/src/sysroot/contracts/mod.rs @@ -588,7 +588,5 @@ fn contract_main( Err(e) => return e.into_compile_error().into(), }; - let res = handler.dispatch_on(function_state).into(); - println!("{}", &res); - res + handler.dispatch_on(function_state).into() }