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]