mcdisplay: SPLIT #295
Description
Make mccode output "SPLIT:" in the --trace output, whenever a such occurs. This is a bit like "ENTER:".
{{ message }}
Make mccode output "SPLIT:" in the --trace output, whenever a such occurs. This is a bit like "ENTER:".