summaryrefslogtreecommitdiff
path: root/backends/btor/btor.ys
diff options
context:
space:
mode:
Diffstat (limited to 'backends/btor/btor.ys')
-rw-r--r--backends/btor/btor.ys2
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/btor/btor.ys b/backends/btor/btor.ys
index 7f3882b5..20bce87e 100644
--- a/backends/btor/btor.ys
+++ b/backends/btor/btor.ys
@@ -2,7 +2,7 @@ proc;
opt; opt_const -mux_undef; opt;
rename -hide;;;
#converting pmux to mux
-techmap -map techlibs/common/pmux2mux.v;;
+techmap -share_map pmux2mux.v;;
memory -nomap;;
#flatten design
flatten;;