diff --git a/techlibs/common/synth.cc b/techlibs/common/synth.cc
index daebd789a..76f048495 100644
--- a/techlibs/common/synth.cc
+++ b/techlibs/common/synth.cc
@@ -277,6 +277,7 @@ struct SynthPass : public ScriptPass {
 
 		if (check_label("coarse")) {
 			run("proc");
+			run("check");
 			if (flatten || help_mode)
 				run("flatten", "  (if -flatten)");
 			run("opt_expr");