Sort ctrl signals in fsm_extract

diff --git a/passes/fsm/fsm_extract.cc b/passes/fsm/fsm_extract.cc
index 6fb65de07ab694ebd044310abd93ac02cf9c7221..a593c3e65f4d6b6466c05a635ed2892233b8a378 100644 (file)
--- a/passes/fsm/fsm_extract.cc
+++ b/passes/fsm/fsm_extract.cc
@@ -247,6 +247,9 @@ static void extract_fsm(RTLIL::Wire *wire)
        }
        ctrl_in.remove(ctrl_out);
 
+       ctrl_in.sort_and_unify();
+       ctrl_out.sort_and_unify();
+
        log("  ctrl inputs: %s\n", log_signal(ctrl_in));
        log("  ctrl outputs: %s\n", log_signal(ctrl_out));