style

anoma · Jan 21, 2025 · f69fd3e · f69fd3e
1 parent 11e4bf3
commit f69fd3e
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/Anoma/Builtin/ByteArray.juvix b/Anoma/Builtin/ByteArray.juvix
@@ -29,9 +29,4 @@ ByteArray-Ord : Ord ByteArray :=
 instance
 ByteArray-Eq : Eq ByteArray := fromOrdToEq;
 
-zero (length : Nat) : ByteArray :=
-  mkByteArray
-    replicate@{
-      resultLength := length;
-      value := 0x0;
-    };
+zero (length : Nat) : ByteArray := mkByteArray (replicate length 0x0);