From fc69ba69c73ca89e8eac674b29bc590de3452875 Mon Sep 17 00:00:00 2001
From: Michael Heuer <michael.heuer@rwth-aachen.de>
Date: Thu, 14 Nov 2024 11:30:10 +0700
Subject: [PATCH] refactor: name

---
 HelloWorld/Exercise_1/Resource.juvix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/HelloWorld/Exercise_1/Resource.juvix b/HelloWorld/Exercise_1/Resource.juvix
index 27dffbc..3c99448 100644
--- a/HelloWorld/Exercise_1/Resource.juvix
+++ b/HelloWorld/Exercise_1/Resource.juvix
@@ -16,7 +16,7 @@ labelRef : LabelRef := toLabelRef "Hello world!";
   You can use the definitions from above.
   Check for errors with `juvix typecheck Exercise_1/Resource.juvix`
 -}
-mkLabelledResource (owner : ExternalIdentity) (nonce : Nonce) : Resource :=
+mkHelloWorldResource (owner : ExternalIdentity) (nonce : Nonce) : Resource :=
   mkResource@{
     labelRef := TODO;
     logicRef := TODO;