add moreJoins to SerializeTo()

viperproject · Jul 22, 2024 · 8eadb41 · 8eadb41
1 parent d60e2b9
commit 8eadb41
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/pkg/slayers/scion.go b/pkg/slayers/scion.go
@@ -232,7 +232,6 @@ func (s *SCION) NetworkFlow() (res gopacket.Flow) {
 // @ ensures   e == nil && old(s.EqPathType(ubuf)) ==>
 // @ 	IsSupportedRawPkt(b.View()) == old(IsSupportedPkt(ubuf))
 // @ decreases
-// #backend[moreJoins(1)]
 func (s *SCION) SerializeTo(b gopacket.SerializeBuffer, opts gopacket.SerializeOptions /* @ , ghost ubuf []byte @*/) (e error) {
 	// @ unfold acc(s.Mem(ubuf), R1)
 	// @ defer fold acc(s.Mem(ubuf), R1)