From be752a20dce72a409a05072e9d6055361b52335a Mon Sep 17 00:00:00 2001
From: Jannis Harder <me@jix.one>
Date: Wed, 30 Nov 2022 18:49:16 +0100
Subject: Add bwmuxmap pass

---
 backends/btor/btor.cc | 1 +
 1 file changed, 1 insertion(+)

(limited to 'backends/btor')

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index 06de71018..8368ab82d 100644
--- a/backends/btor/btor.cc
+++ b/backends/btor/btor.cc
@@ -1417,6 +1417,7 @@ struct BtorBackend : public Backend {
 		log_push();
 		Pass::call(design, "bmuxmap");
 		Pass::call(design, "demuxmap");
+		Pass::call(design, "bwmuxmap");
 		log_pop();
 
 		size_t argidx;
-- 
cgit v1.2.3