<?xml version="1.0" encoding="iso-8859-1"?>
<checkstyle version="mascot-1.0">
  <file name="a.mli">
    <error severity="error" message="missing exception comment" source="documentation.exception_comment" line="4" column="0"/>
    <error severity="error" message="missing exception comment" source="documentation.exception_comment" line="9" column="0"/>
  </file>
  <file name="b.mli">
    <error severity="error" message="missing exception comment" source="documentation.exception_comment" line="5" column="2"/>
    <error severity="error" message="missing exception comment" source="documentation.exception_comment" line="10" column="2"/>
  </file>
</checkstyle>