From f65dfee2b35cc4c11a5e8be6f3b484edab31da5c Mon Sep 17 00:00:00 2001
From: Michael Sippel <micha@fragmental.art>
Date: Wed, 29 Jan 2025 19:33:28 +0100
Subject: [PATCH] test.c: fmt& fix radix in call to morph_endianness
---
morphisms/test.c | 9 ++-------
1 file changed, 2 insertions(+), 7 deletions(-)
diff --git a/morphisms/test.c b/morphisms/test.c
index 7439ab1..1346287 100644
--- a/morphisms/test.c
+++ b/morphisms/test.c
@@ -33,16 +33,11 @@ int main( int argc, char * argv[] ) {
// morph to
// ℕ ~ <PosInt 16 LittleEndian> ~ [~<LengthPrefix x86.UInt64> <Digit 16> ~ ℤ_16 ~ x86.UInt64]
- morph_posint_radix(
- 10,
- 16,
- int4,
- int5
- );
+ morph_posint_radix( 10, 16, int4, int5 );
// morph to
// ℕ ~ <PosInt 16 BigEndian> ~ [~<LengthPrefix x86.UInt64> <Digit 16> ~ ℤ_16 ~ x86.UInt64]
- morph_posint_endianness( 10, int5, int6 );
+ morph_posint_endianness( 16, int5, int6 );
// morph to
// ℕ ~ <PosInt 16 BigEndian> ~ [~<LengthPrefix x86.UInt64> <Digit 16> ~ Char ~ Ascii]