diff --git a/docs/examples/puzzles/primegen.sby b/docs/examples/puzzles/primegen.sby
index 9e6da21..20e5072 100644
--- a/docs/examples/puzzles/primegen.sby
+++ b/docs/examples/puzzles/primegen.sby
@@ -12,6 +12,7 @@ primes_fail: expect fail
 smtbmc --dumpsmt2 --progress --stbv z3
 
 [script]
+read -noverific
 read -formal primegen.sv
 primes_fail: chparam -set offset 7 primes
 primegen: prep -top primegen