Update bytes/bytes.gobra

Co-authored-by: João Pereira <joaopereira.19@gmail.com>
viperproject · Nov 28, 2024 · c7d45a3 · c7d45a3
1 parent 1d9228d
commit c7d45a3
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/bytes/bytes.gobra b/bytes/bytes.gobra
@@ -15,7 +15,6 @@
 //+gobra
 
 package bytes
-
 
 ghost
 requires count >= 0