clippy

moves-rwth · May 2, 2024 · 56aa13b · 56aa13b
1 parent e753c6c
commit 56aa13b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main.rs b/src/main.rs
@@ -453,7 +453,7 @@ fn verify_files_main(
             let files = files_mutex.lock().unwrap();
             print_warning(options, &files, err)?;
         }
-        write_jani_file(&options, entered.deref())?;
+        write_jani_file(options, entered.deref())?;
     }
 
     // Desugar encodings from source units