<?xml version="1.0" encoding="iso-8859-1"?> <mascot-report version="1.0"> <entry kind="error" category="code" check="predefined_operators" file="a.ml" line="1" column="4" message="illegal redefinition of operator "/""/> <entry kind="error" category="code" check="predefined_operators" file="a.ml" line="4" column="6" message="illegal redefinition of operator "+""/> </mascot-report>
