diff --git a/tests/alumacc/cmp_merge.ys b/tests/alumacc/cmp_merge.ys
index bdb96321b..ae46ba883 100644
--- a/tests/alumacc/cmp_merge.ys
+++ b/tests/alumacc/cmp_merge.ys
@@ -26,10 +26,8 @@ assign ne = ra != rb;
 endmodule
 EOT
 
-proc
-
 equiv_opt -assert alumacc
-alumacc
+design -load postopt
 select -assert-count 1 t:$alu
 
 design -reset