fix: wrong conversion

anoma · Oct 29, 2024 · 5709059 · 5709059
1 parent c8fccec
commit 5709059
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Applib/Utils/Counter/Label.juvix b/Applib/Utils/Counter/Label.juvix
@@ -18,7 +18,7 @@ CounterLabel-Eq : Eq CounterLabel :=
   };
 
 getCounterLabel (resource : Resource) : CounterLabel :=
-  resource |> Resource.labelRef |> LabelRef.unLabelRef |> anomaEncode |> anomaDecode;
+  resource |> Resource.labelRef |> Reference.from |> Label.unLabel |> anomaDecode;
 
 getNullifierfFromLabel (resource : Resource) : Nullifier :=
   resource |> getCounterLabel |> CounterLabel.nullifier;