refactor: name

anoma · Nov 8, 2024 · ad3144b · ad3144b
1 parent 2bed1dd
commit ad3144b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Anoma/Transaction/AppData.juvix b/Anoma/Transaction/AppData.juvix
@@ -23,7 +23,7 @@ type AppDataKey := mkAppDataKey@{unAppDataKey : Nat};
 --- TODO Add an equivalent to `anomaEncode` and `anomaDecode` to be able to change this to ;ByteArray;.
 type AppDataValue :=
   mkAppDataValue@{
-    value : Nat;
+    data : Nat;
     deletionCriterion : DeletionCriterion;
   };
 
@@ -63,7 +63,7 @@ module AppDataValueInternal;
   compare (lhs rhs : AppDataValue) : Ordering :=
     let
       prod (value : AppDataValue) : _ :=
-        AppDataValue.value value, AppDataValue.deletionCriterion value;
+        AppDataValue.data value, AppDataValue.deletionCriterion value;
     in Ord.cmp (prod lhs) (prod rhs);
 
   --- Implements the ;Ord; trait for ;AppDataValue;.