From 0c6ffc4c656de69c92727580cd4c192211d10e6d Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 13 Jun 2013 11:18:45 +0200
Subject: More fixes for bugs found using xsthammer

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

(limited to 'kernel')

diff --git a/kernel/satgen.h b/kernel/satgen.h
index 05afeabf5..991853c2c 100644
--- a/kernel/satgen.h
+++ b/kernel/satgen.h
@@ -128,6 +128,7 @@ struct SatGen
 		if (cell->type == "$_INV_" || cell->type == "$not") {
 			std::vector<int> a = importSigSpec(cell->connections.at("\\A"), timestep);
 			std::vector<int> y = importSigSpec(cell->connections.at("\\Y"), timestep);
+			extendSignalWidthUnary(a, y, cell);
 			ez->assume(ez->vec_eq(ez->vec_not(a), y));
 			return true;
 		}
-- 
cgit v1.2.3