From 97338ba40c4b5d23941de6aa894fb2af29821395 Mon Sep 17 00:00:00 2001
From: Michael Heuer <michael.heuer@rwth-aachen.de>
Date: Fri, 11 Oct 2024 12:50:05 +0200
Subject: [PATCH] refactor: nullifier signature

---
 Anoma/Resource/Computable/Nullifier.juvix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Anoma/Resource/Computable/Nullifier.juvix b/Anoma/Resource/Computable/Nullifier.juvix
index 95e2b97..890c25f 100644
--- a/Anoma/Resource/Computable/Nullifier.juvix
+++ b/Anoma/Resource/Computable/Nullifier.juvix
@@ -7,7 +7,7 @@ import Anoma.Resource.Object open using {Resource};
 import Anoma.Utils open;
 
 --- Computes the ;Nullifier; of a ;Resource; given a ;NullifierKey;.
-nullifier (resource : Resource) (nullifierKey : NullifierKey) : Nullifier := MISSING_ANOMA_BUILTIN;
+nullifier (nullifierKey : NullifierKey) (resource : Resource) : Nullifier := MISSING_ANOMA_BUILTIN;
 
 module NullfierInternal;
   --- Compares two ;Nullifier; and returns their ;Ordering;.