<?xml version="1.0" encoding="iso-8859-1"?> <mascot-report version="1.0"> <entry kind="error" category="interface" check="exported_empty" file="a.mli" line="1" message="structure exports no item"/> </mascot-report>
<?xml version="1.0" encoding="iso-8859-1"?> <mascot-report version="1.0"> <entry kind="error" category="interface" check="exported_empty" file="a.mli" line="1" message="structure exports no item"/> </mascot-report>