diff --git a/docs/examples/fifo/fifo.sby b/docs/examples/fifo/fifo.sby
index d6f6c27..91cb3c5 100644
--- a/docs/examples/fifo/fifo.sby
+++ b/docs/examples/fifo/fifo.sby
@@ -11,7 +11,7 @@ mode prove
 --
 
 [engines]
-cover: smtbmc
+cover: smtbmc z3
 prove: abc pdr
 
 [script]