Comments #2

Open

opened

Comments with some other character attached to the delimiter are not displayed correctly, e.g.:

Pred item quality = mkUtt (mkCl item quality) ; --! this is a comment

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests