Update eurydice_glue.h

AeneasVerif · Aug 28, 2024 · f5184ea · f5184ea
1 parent 7338756
commit f5184ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/include/eurydice_glue.h b/include/eurydice_glue.h
@@ -97,7 +97,7 @@ typedef struct {
   Eurydice_array_eq(sz, a1, a2, t, _)
 #define core_array_equality___core__cmp__PartialEq__0___Slice_U____for__Array_T__N___3__eq( \
     sz, a1, a2, t, _, _ret_t)                                                               \
-  Eurydice_array_eq(sz, a1, ((t *)(a2)->ptr), t, _)
+  Eurydice_array_eq(sz, a1, ((a2)->ptr), t, _)
 
 #define Eurydice_slice_split_at(slice, mid, element_type, ret_t)               \
   (CLITERAL(ret_t){                                                            \