Fixing golden/fifo.sv

Had missed a change from (non golden) fifo.sv.

docs/examples/fifo/fifo.sby

@@ -0,0 +1,29 @@
+[tasks]
+basic bmc
+nofullskip prove
+cover
+noverific cover
+basic cover : default
+
+[options]
+cover:
+mode cover
+--
+prove:
+mode prove
+--
+bmc: 
+mode bmc
+--
+
+[engines]
+smtbmc boolector
+
+[script]
+nofullskip: read -define NO_FULL_SKIP=1
+noverific: read -noverific
+read -formal fifo.sv
+prep -top fifo
+
+[files]
+fifo.sv