<?xml version="1.0" encoding="iso-8859-1"?> <checkstyle version="mascot-1.0"> <file name="a.mli"> <error severity="error" message="missing module type comment" source="documentation.module_type_comment" line="1" column="0"/> </file> </checkstyle>
<?xml version="1.0" encoding="iso-8859-1"?> <checkstyle version="mascot-1.0"> <file name="a.mli"> <error severity="error" message="missing module type comment" source="documentation.module_type_comment" line="1" column="0"/> </file> </checkstyle>