fix comment

mlimbeck · Oct 18, 2023 · 0116bce · 0116bce
1 parent 5728d2b
commit 0116bce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/verification/io/dataplane_abstract.gobra b/verification/io/dataplane_abstract.gobra
@@ -27,7 +27,7 @@ type DataPlaneSpec adt {
 
 // TopologySpec provides information about the entire network topology. 
 // coreAS: IDs of the core Autonomous Systems
-//links: representation of the network topology as a graph.
+// links: representation of the network topology as a graph.
 //		links[a1][1] == a2 means that AS a1 has an edge to AS a2 via interface 1.
 type TopologySpec adt {
 	TopologySpec_{