From 9540be1d45cce45d0008a4160bc4aa70ff0dfe1d Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 27 Jul 2016 15:44:11 +0200
Subject: [PATCH] Removed $predict support from SatGen

---
 kernel/satgen.h | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/kernel/satgen.h b/kernel/satgen.h
index 31b7a3e5a..fdd2ce8b1 100644
--- a/kernel/satgen.h
+++ b/kernel/satgen.h
@@ -69,7 +69,6 @@ struct SatGen
 	SigPool initial_state;
 	std::map<std::string, RTLIL::SigSpec> asserts_a, asserts_en;
 	std::map<std::string, RTLIL::SigSpec> assumes_a, assumes_en;
-	std::map<std::string, RTLIL::SigSpec> predict_a, predict_en;
 	std::map<std::string, std::map<RTLIL::SigBit, int>> imported_signals;
 	std::map<std::pair<std::string, int>, bool> initstates;
 	bool ignore_div_by_zero;
@@ -1374,14 +1373,6 @@ struct SatGen
 			return true;
 		}
 
-		if (cell->type == "$predict")
-		{
-			std::string pf = prefix + (timestep == -1 ? "" : stringf("@%d:", timestep));
-			predict_a[pf].append((*sigmap)(cell->getPort("\\A")));
-			predict_en[pf].append((*sigmap)(cell->getPort("\\EN")));
-			return true;
-		}
-
 		// Unsupported internal cell types: $pow $lut
 		// .. and all sequential cells except $dff and $_DFF_[NP]_
 		return false;
-- 
2.30.2