diff options
| -rw-r--r-- | backends/rtlil/rtlil_backend.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/rtlil/rtlil_backend.cc b/backends/rtlil/rtlil_backend.cc index cfdf3efc5..0846208ba 100644 --- a/backends/rtlil/rtlil_backend.cc +++ b/backends/rtlil/rtlil_backend.cc @@ -263,7 +263,7 @@ void RTLIL_BACKEND::dump_proc_sync(std::ostream &f, std::string indent, const RT f << stringf(" "); dump_sigspec(f, it.enable); f << stringf(" "); - dump_sigspec(f, it.priority_mask); + dump_const(f, it.priority_mask); f << stringf("\n"); } } |