From dab1612f81212d1bc1c07ee77b265167861ec883 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 23 Feb 2014 01:35:59 +0100
Subject: Added support for Minisat::SimpSolver + ezSAT frezze() API

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

(limited to 'kernel')

diff --git a/kernel/satgen.h b/kernel/satgen.h
index 840700cb..53921044 100644
--- a/kernel/satgen.h
+++ b/kernel/satgen.h
@@ -72,6 +72,7 @@ struct SatGen
 			} else {
 				std::string name = pf + stringf(c.wire->width == 1 ?  "%s" : "%s [%d]", RTLIL::id2cstr(c.wire->name), c.offset);
 				vec.push_back(ez->literal(name));
+				ez->freeze(vec.back());
 			}
 		return vec;
 	}
-- 
cgit v1.2.3