Fix Anoma Byte test

anoma · Aug 1, 2024 · a9ad67a · a9ad67a
1 parent bf4ff12
commit a9ad67a
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/tests/Anoma/Compilation/positive/test081.juvix b/tests/Anoma/Compilation/positive/test081.juvix
@@ -4,10 +4,10 @@ import Stdlib.Data.Nat open hiding {fromNat};
 import Stdlib.Debug.Trace open;
 import Stdlib.Function open using {>->};
 
-builtin uint8
-axiom UInt8 : Type;
+builtin byte
+axiom Byte : Type;
 
-builtin uint8-from-nat
-axiom fromNat : Nat -> UInt8;
+builtin byte-from-nat
+axiom fromNat : Nat -> Byte;
 
-main : UInt8 := trace (fromNat 0xff) >-> fromNat 0x100;
+main : Byte := trace (fromNat 0xff) >-> fromNat 0x100;