tiny changes

viperproject · Sep 15, 2024 · 70855bc · 70855bc
1 parent 2ec5a3b
commit 70855bc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/pkg/addr/fmt.go b/pkg/addr/fmt.go
@@ -63,6 +63,7 @@ func ParseFormattedISD(isd string, opts ...FormatOption) (ISD, error) {
 // ParseFormattedAS parses an AS number that was formatted with the FormatAS
 // function. The same options must be provided to successfully parse.
 // @ trusted
+// @ requires false
 func ParseFormattedAS(as_ string, opts ...FormatOption) (AS, error) {
 	o := applyFormatOptions(opts)
 	if o.defaultPrefix {