diff --git a/docs/source/code_examples/macro_commands/synth_ice40.ys b/docs/source/code_examples/macro_commands/synth_ice40.ys
index 07d960a64..a829c197c 100644
--- a/docs/source/code_examples/macro_commands/synth_ice40.ys
+++ b/docs/source/code_examples/macro_commands/synth_ice40.ys
@@ -67,6 +67,7 @@ map_ffs:
 map_luts:
     abc
     ice40_opt
+    check
     techmap
     simplemap
     techmap