From 6219c287e298936b821add09ad2123db19f79fae Mon Sep 17 00:00:00 2001
From: Brykou <11095630+Brykou@users.noreply.github.com>
Date: Thu, 21 Aug 2025 15:52:01 +0800
Subject: [PATCH] doc: Update define-a-resource.md

---
 build/your-first-anoma-application/define-a-resource.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/build/your-first-anoma-application/define-a-resource.md b/build/your-first-anoma-application/define-a-resource.md
index 314d804..26f48e4 100644
--- a/build/your-first-anoma-application/define-a-resource.md
+++ b/build/your-first-anoma-application/define-a-resource.md
@@ -49,7 +49,7 @@ mkHelloWorldResource
   (message : String)
   {ephemeral : Bool := false}
   : Resource :=
-  mkResource@{
+  Resource.mk@{
     label := Label.fromNat (builtinAnomaEncode message);
     logic := Encoded.encode logic;
     value := AnomaAtom.fromNat 0;
@@ -72,14 +72,14 @@ mkHelloWorldResource
   (message : String) 
   {ephemeral : Bool := false} 
   : Resource :=
-  mkResource@{
+  Resource.mk@{
     label := Label.fromNat (builtinAnomaEncode message);
     logic := Encoded.encode logic;
     value := AnomaAtom.fromNat 0;
     quantity := 1;
     nonce := Nonce.toRaw nonce;
     ephemeral;
-    randSeed := 0;
+    unusedRandSeed := 0;
     nullifierKeyCommitment := AnomaAtom.fromNat 0;
   };
 ```
@@ -90,7 +90,7 @@ In the above code, we
 * assign `quantity` of 1
 * pass function parameter `nonce`
 * pass function parameter `ephemeral`
-* assign default parameter 0 to `randSeed`
+* assign default parameter 0 to `unusedRandSeed`
 * assign default parameter 0 to `nullifierKeyCommitment`
 
 {% hint style="warning" %}