diff --git a/machxo2/examples/mitertest.sh b/machxo2/examples/mitertest.sh
index 14c6fe61..cfae28b7 100644
--- a/machxo2/examples/mitertest.sh
+++ b/machxo2/examples/mitertest.sh
@@ -59,7 +59,7 @@ do_smt() {
                         read_verilog +/machxo2/cells_sim.v
 
                         miter -equiv -make_assert gold gate ${2}${1}_miter
-                        hierarchy -auto-top -check; proc;
+                        hierarchy -top ${2}${1}_miter; proc;
                         opt_clean
                         write_verilog ${2}${1}_miter.v
                         write_smt2 ${2}${1}_miter.smt2"