From 983f0664453b61d3c2084c98788eea341a315bfc Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 12 May 2018 17:21:00 +0200
Subject: [PATCH] Use "multiclock on" option in dpmem.sby example

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---
 docs/examples/multiclk/dpmem.sby | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/docs/examples/multiclk/dpmem.sby b/docs/examples/multiclk/dpmem.sby
index 574e79e..bd63e04 100644
--- a/docs/examples/multiclk/dpmem.sby
+++ b/docs/examples/multiclk/dpmem.sby
@@ -1,6 +1,7 @@
 [options]
 mode bmc
 depth 15
+multiclock on
 
 [engines]
 smtbmc
@@ -9,8 +10,6 @@ smtbmc
 read_verilog -sv -formal dpmem.sv
 prep -nordff -top top
 chformal -early -assume
-clk2fflogic
-opt_clean
 
 [files]
 dpmem.sv
-- 
2.30.2