remove unnecessary imports

mlimbeck · Nov 28, 2023 · 12812a9 · 12812a9
1 parent ebd99be
commit 12812a9
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/router/dataplane_spec.gobra b/router/dataplane_spec.gobra
@@ -21,8 +21,6 @@ import (
 	"hash"
 	. "github.com/scionproto/scion/verification/utils/definitions"
 	sl "github.com/scionproto/scion/verification/utils/slices"
-	"github.com/scionproto/scion/verification/io"
-	"github.com/scionproto/scion/verification/dependencies/encoding/binary"
 	"github.com/scionproto/scion/pkg/scrypto"
 	"github.com/scionproto/scion/pkg/addr"
 )