<?xml version="1.0" encoding="iso-8859-1"?>
<mascot-report version="1.0">
  <entry kind="error" category="documentation" check="class_type_comment" file="a.mli" line="1" column="11" message="missing class type comment"/>
</mascot-report>