Fix compilation error

model-checking · Nov 16, 2024 · 2e0bca5 · 2e0bca5
1 parent f1da6c6
commit 2e0bca5
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/cprover_bindings/src/goto_program/typ.rs b/cprover_bindings/src/goto_program/typ.rs
@@ -898,11 +898,11 @@ impl Type {
         } else if concrete_self.is_scalar() && concrete_other.is_scalar() {
             concrete_self == concrete_other
         } else if concrete_self.is_struct_like() && concrete_other.is_scalar() {
-            (concrete_self
-                .unwrap_transparent_type(st) == Some(*concrete_other))
+            concrete_self
+                .unwrap_transparent_type(st) == Some(concrete_other.clone())
         } else if concrete_self.is_scalar() && concrete_other.is_struct_like() {
-            (concrete_other
-                .unwrap_transparent_type(st) == Some(*concrete_self))
+            concrete_other
+                .unwrap_transparent_type(st) == Some(concrete_self.clone())
         } else if concrete_self.is_struct_like() && concrete_other.is_struct_like() {
             let self_components = concrete_self.get_non_empty_components(st).unwrap();
             let other_components = concrete_other.get_non_empty_components(st).unwrap();