From 4d3ada5bcc8ec41ea600adb373eaff1dbb728813 Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Wed, 2 Sep 2026 15:18:40 +0200
Subject: [PATCH] docs: fix examples to match new check sequencing

---
 docs/source/code_examples/macro_commands/prep.ys        | 3 ++-
 docs/source/code_examples/macro_commands/synth_ice40.ys | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/docs/source/code_examples/macro_commands/prep.ys b/docs/source/code_examples/macro_commands/prep.ys
index 7ec7c7af8..6cfbe4cfd 100644
--- a/docs/source/code_examples/macro_commands/prep.ys
+++ b/docs/source/code_examples/macro_commands/prep.ys
@@ -5,11 +5,12 @@ begin:
 
 coarse:
     proc [-ifx]
+    check
     flatten    (if -flatten)
     future
     opt_expr -keepdc
-    opt_clean
     check
+    opt_clean
     opt -noff -keepdc
     wreduce -keepdc [-memx]
     memory_dff    (if -rdff)
diff --git a/docs/source/code_examples/macro_commands/synth_ice40.ys b/docs/source/code_examples/macro_commands/synth_ice40.ys
index 45e570a4b..adefa59c2 100644
--- a/docs/source/code_examples/macro_commands/synth_ice40.ys
+++ b/docs/source/code_examples/macro_commands/synth_ice40.ys
@@ -13,8 +13,8 @@ flatten:
 
 coarse:
     opt_expr
-    opt_clean
     check
+    opt_clean
     opt -nodffe -nosdff
     fsm
     opt