Update library/kani_macros/src/sysroot/contracts/mod.rs

carolynzech · Oct 29, 2024 · 0e5d7aa · 0e5d7aa
1 parent d21019b
commit 0e5d7aa
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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()
 }