expose command to not skip 'internal' wires beginning with '$'

diff --git a/passes/sat/expose.cc b/passes/sat/expose.cc
index 8093454864db0b82675adced32cec61c43d31787..3add9a9eb893873f60daaead90a34ae1d8020c9b 100644 (file)
--- a/passes/sat/expose.cc
+++ b/passes/sat/expose.cc
@@ -42,7 +42,7 @@ struct dff_map_bit_info_t {
 
 bool consider_wire(RTLIL::Wire *wire, std::map<RTLIL::IdString, dff_map_info_t> &dff_dq_map)
 {
-       if (wire->name[0] == '$' || dff_dq_map.count(wire->name))
+       if (/*wire->name[0] == '$' ||*/ dff_dq_map.count(wire->name))
                return false;
        if (wire->port_input)
                return false;