refactor: name

anoma · Nov 14, 2024 · fc69ba6 · fc69ba6
1 parent 73d6299
commit fc69ba6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;