-
pcapriotti authored
Make -ddump-rules, -ddump-rule-firings and -ddump-rule-rewrites behave like the other -ddump flags, by using the dumpSDoc function instance of pprDefiniteTrace.
3fcf5bdf
Make -ddump-rules, -ddump-rule-firings and -ddump-rule-rewrites behave like the other -ddump flags, by using the dumpSDoc function instance of pprDefiniteTrace.