[litmus] Fix litmus label printing

herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)

Other

215 stars 54 forks source link

Closed maranget closed 1 month ago

maranget commented 1 month ago

Fix a few print glitches. Followup to PR #847.

relokin commented 1 month ago

@maranget, I had a quick look at this PR and tested with #845. I think this is ready to merge?

maranget commented 1 month ago

Merged, thanks @relokin.