Removed $predict support from SatGen

diff --git a/kernel/satgen.h b/kernel/satgen.h
index 31b7a3e5a726ba12a9d683a4a5249c8b0752776a..fdd2ce8b1063769d5bd3e39ae2e3f78b206c232b 100644 (file)
--- 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;