From 8d6127aa783abcfc5488147b95e7c056d02c8c0c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=C3=A3o=20Pereira?= <joaopereira.19@gmail.com>
Date: Fri, 20 Dec 2024 20:11:10 +0100
Subject: [PATCH] tiny change

---
 pkg/addr/isdas.go | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkg/addr/isdas.go b/pkg/addr/isdas.go
index 6eb1f6909..2cb08c6b8 100644
--- a/pkg/addr/isdas.go
+++ b/pkg/addr/isdas.go
@@ -241,8 +241,8 @@ func (ia *IA) UnmarshalText(b []byte) error {
 	return nil
 }
 
-// @ pure
 // @ decreases
+// @ pure
 func (ia IA) IsZero() bool {
 	return ia == 0
 }