fix clippy?

adpaco-aws · Aug 29, 2023 · e008d10 · e008d10
1 parent c9daf3c
commit e008d10
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/kani-compiler/src/codegen_cprover_gotoc/compiler_interface.rs b/kani-compiler/src/codegen_cprover_gotoc/compiler_interface.rs
@@ -703,10 +703,7 @@ fn new_machine_model(sess: &Session) -> MachineModel {
             let long_long_int_width = 64;
             let short_int_width = 16;
             let single_width = 32;
-            let wchar_t_is_unsigned = match os.as_ref() {
-                "linux" => true,
-                _ => false,
-            };
+            let wchar_t_is_unsigned = matches!(os.as_ref(), "linux");
             let wchar_t_width = 32;
 
             MachineModel {