<?xml version="1.0" encoding="iso-8859-1"?> <mascot-report version="1.0"> <entry kind="error" category="code" check="useless_external_parentheses" file="a.ml" line="2" column="21" message="useless external parentheses"/> <entry kind="error" category="code" check="useless_external_parentheses" file="a.ml" line="6" column="30" message="useless external parentheses"/> <entry kind="error" category="code" check="useless_external_parentheses" file="a.ml" line="8" column="25" message="useless external parentheses"/> <entry kind="error" category="code" check="useless_external_parentheses" file="a.ml" line="10" column="14" message="useless external parentheses"/> <entry kind="error" category="code" check="useless_external_parentheses" file="a.ml" line="12" column="19" message="useless external parentheses"/> </mascot-report>