From b9cb483f3e2a498ee75a422e09164a920918362b Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 3 Sep 2014 21:20:59 +0200
Subject: Using $pos models for $bu0

---
 kernel/satgen.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/satgen.h')

diff --git a/kernel/satgen.h b/kernel/satgen.h
index c7f1680d..eed3adaa 100644
--- a/kernel/satgen.h
+++ b/kernel/satgen.h
@@ -470,7 +470,7 @@ struct SatGen
 			{
 				std::vector<int> undef_a = importUndefSigSpec(cell->getPort("\\A"), timestep);
 				std::vector<int> undef_y = importUndefSigSpec(cell->getPort("\\Y"), timestep);
-				extendSignalWidthUnary(undef_a, undef_y, cell, cell->type != "$bu0");
+				extendSignalWidthUnary(undef_a, undef_y, cell);
 
 				if (cell->type == "$pos" || cell->type == "$bu0") {
 					ez->assume(ez->vec_eq(undef_a, undef_y));
-- 
cgit v1.2.3