From 16b893bd8816a98c5a243ebf7b8b213f1121fff2 Mon Sep 17 00:00:00 2001
From: nella <simontupy64@gmail.com>
Date: Mon, 4 May 2026 18:58:56 +0200
Subject: [PATCH] Add check before flatten in synth.

---
 techlibs/common/synth.cc | 1 +
 1 file changed, 1 insertion(+)

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");