Update router/dataplane_spec.gobra

Co-authored-by: Dionysios Spiliopoulos <[email protected]>
mlimbeck · Nov 17, 2023 · b051f09 · b051f09
1 parent 715fa51
commit b051f09
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/router/dataplane_spec.gobra b/router/dataplane_spec.gobra
@@ -288,7 +288,7 @@ pure func infoFieldOffset(currINF int) int {
 ghost 
 decreases
 pure func hopFieldOffset(numINF int, currHF int) int {
-	return 4 + 8*numINF + 12 * currHF
+	return 4 + 8 * numINF + 12 * currHF
 }