From d3b2f67896ccb8eaf64d07996333a39a906db20f Mon Sep 17 00:00:00 2001
From: anim001k <140460766+anim001k@users.noreply.github.com>
Date: Sat, 9 Aug 2025 11:23:19 +0200
Subject: [PATCH] Update compilation_user.rs

---
 circom/src/compilation_user.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/circom/src/compilation_user.rs b/circom/src/compilation_user.rs
index abe09b635..04c3860ba 100644
--- a/circom/src/compilation_user.rs
+++ b/circom/src/compilation_user.rs
@@ -114,7 +114,9 @@ pub fn compile(config: CompilerConfig) -> Result<(), ()> {
             (false, true) => {
                 compiler_interface::write_wasm(&circuit,  &config.js_folder, &config.wasm_name, &config.wat_file)?;
                 let result = wat_to_wasm(&config.wat_file, &config.wasm_file);
-                std::fs::remove_file(&config.wat_file).unwrap();
+                if let Err(err) = std::fs::remove_file(&config.wat_file) {
+                    eprintln!("{}", Colour::Yellow.paint(format!("warning: could not remove temporary WAT file '{}': {}", &config.wat_file, err)));
+                }
                 match result {
                     Result::Err(report) => {
                         Report::print_reports(&[report], &FileLibrary::new());