2 Commits

Author	SHA1	Message	Date
Bruno Kirschner	09ea75bee9	Fixed spelling and indentation issues in neg_cmp_op_on_partial_ord related files.	2018-06-03 21:46:09 +02:00
Bruno Kirschner	6d51559f62	Added lint to avoid negated comparisions on partially ordered types.	2018-06-03 21:46:09 +02:00