diff

cryspen · Sep 13, 2024 · e22fa84 · e22fa84
1 parent 60edf67
commit e22fa84
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/libcrux-ml-kem/cg/libcrux_core.h b/libcrux-ml-kem/cg/libcrux_core.h
@@ -33,8 +33,6 @@ typedef struct core_ops_range_Range_b3_s {
 #define None 0
 #define Some 1
 
-#define core_array_TryFromSliceError uint8_t
-
 typedef uint8_t Option_ef_tags;
 
 /**