<?xml version="1.0" encoding="iso-8859-1"?> <checkstyle version="mascot-1.0"> <file name="a.ml"> <error severity="error" message="element Sort.list is deprecated" source="code.deprecated" line="3" column="10"/> </file> </checkstyle>
<?xml version="1.0" encoding="iso-8859-1"?> <checkstyle version="mascot-1.0"> <file name="a.ml"> <error severity="error" message="element Sort.list is deprecated" source="code.deprecated" line="3" column="10"/> </file> </checkstyle>