Fix spurious line breaks in pretty-printing of qualified module paths#898
Merged
strub merged 1 commit intoEasyCrypt:mainfrom Feb 12, 2026
Merged
Fix spurious line breaks in pretty-printing of qualified module paths#898strub merged 1 commit intoEasyCrypt:mainfrom
strub merged 1 commit intoEasyCrypt:mainfrom
