tiny change

viperproject · Dec 20, 2024 · 8d6127a · 8d6127a
1 parent 00db763
commit 8d6127a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
 }