Update verification/io/io-spec.gobra

Co-authored-by: João Pereira <[email protected]>
mlimbeck · Nov 28, 2023 · 44b61f2 · 44b61f2
1 parent 18b2445
commit 44b61f2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/verification/io/io-spec.gobra b/verification/io/io-spec.gobra
@@ -357,7 +357,7 @@ pred (dp DataPlaneSpec) dp3s_iospec_stop(s IO_dp3s_state_local, t Place) {
 	true
 }
 
-/** Helper functions to perform BIO operations **/
+/** BIO operations **/
 ghost
 decreases
 requires token(t) && CBio_IN_bio3s_enter(t, v)