Update name of utf8FromNat

anoma · Jul 31, 2024 · 43f4fd5 · 43f4fd5
1 parent fd4bde2
commit 43f4fd5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tests/Compilation/positive/test078.juvix b/tests/Compilation/positive/test078.juvix
@@ -10,15 +10,15 @@ builtin uint8
 axiom UInt8 : Type;
 
 builtin uint8-from-nat
-axiom fromNat : Nat -> UInt8;
+axiom uint8FromNat : Nat -> UInt8;
 
 builtin uint8-to-nat
 axiom toNat : UInt8 -> Nat;
 
 instance
 UInt8FromNaturalI : FromNatural UInt8 :=
   mkFromNatural@{
-    fromNat
+    fromNat := uint8FromNat
   };
 
 n1 : UInt8 := fromNat 1;