spec/quint: undoing new line changes

informalsystems · Nov 22, 2024 · cf45edd · cf45edd
1 parent b9b313e
commit cf45edd
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/specs/quint/specs/blocksync/bsyncStatemachine.qnt b/specs/quint/specs/blocksync/bsyncStatemachine.qnt
@@ -150,6 +150,4 @@ module bsyncStatemachine {
     unchange
   }
 
-
-
 }