-
pcapriotti authored
Commit 3fcf5bdf made the output of -ddump-rule-firings and -ddump-rule-rewrites excessively verbose. Fixed by removing the extra blank lines and separator when the header of dump is empty.
f8a00d0e
Commit 3fcf5bdf made the output of -ddump-rule-firings and -ddump-rule-rewrites excessively verbose. Fixed by removing the extra blank lines and separator when the header of dump is empty.