Cleanup spacing

diff --git a/tests/various/submod.ys b/tests/various/submod.ys
index 54455b580ab32ed9e89c4f44acfe51ac3c7d0aa8..271a8edefab3fa99d929095330ca0b6ae13869d0 100644 (file)
--- a/tests/various/submod.ys
+++ b/tests/various/submod.ys
@@ -13,9 +13,9 @@ EOT
 hierarchy -top top
 proc
 design -save gold
+
 submod
 flatten
-
 design -stash gate
 
 design -import gold -as gold
@@ -23,4 +23,3 @@ design -import gate -as gate
 
 miter -equiv -flatten -make_assert -make_outputs gold gate miter
 sat -verify -prove-asserts -show-ports miter
-