<?xml version="1.0" encoding="iso-8859-1"?> <mascot-report version="1.0"> <entry kind="error" category="code" check="magic_number" file="a.ml" line="2" message="int value "9" is used 3 times"/> </mascot-report>
<?xml version="1.0" encoding="iso-8859-1"?> <mascot-report version="1.0"> <entry kind="error" category="code" check="magic_number" file="a.ml" line="2" message="int value "9" is used 3 times"/> </mascot-report>