From f092b5014895dc5dc62b8103fcedf94cfa9f85a8 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 15 Aug 2014 14:11:40 +0200
Subject: Renamed $_INV_ cell type to $_NOT_

---
 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 8284cdeb..b57edd9f 100644
--- a/kernel/satgen.h
+++ b/kernel/satgen.h
@@ -271,7 +271,7 @@ struct SatGen
 			return true;
 		}
 
-		if (cell->type == "$_INV_" || cell->type == "$not")
+		if (cell->type == "$_NOT_" || cell->type == "$not")
 		{
 			std::vector<int> a = importDefSigSpec(cell->getPort("\\A"), timestep);
 			std::vector<int> y = importDefSigSpec(cell->getPort("\\Y"), timestep);
-- 
cgit v1.2.3