From 43f4fd55f352b6b14c172a5abbea208e465e1f00 Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Wed, 31 Jul 2024 10:58:45 +0100
Subject: [PATCH] Update name of utf8FromNat

---
 tests/Compilation/positive/test078.juvix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/Compilation/positive/test078.juvix b/tests/Compilation/positive/test078.juvix
index 8e06c576fc..44c5e7d2bb 100644
--- a/tests/Compilation/positive/test078.juvix
+++ b/tests/Compilation/positive/test078.juvix
@@ -10,7 +10,7 @@ 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;
@@ -18,7 +18,7 @@ axiom toNat : UInt8 -> Nat;
 instance
 UInt8FromNaturalI : FromNatural UInt8 :=
   mkFromNatural@{
-    fromNat
+    fromNat := uint8FromNat
   };
 
 n1 : UInt8 := fromNat 1;