aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--tests/various/submod.ys3
1 files changed, 1 insertions, 2 deletions
diff --git a/tests/various/submod.ys b/tests/various/submod.ys
index 54455b580..271a8edef 100644
--- 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
-