Factorise common bits of Remakefile in tools/ocamldriver.sh

[tatoo.git] / tests / xmark_tiny.xml.results / A8_jaxp.xml

diff --git a/tests/xmark_tiny.xml.results/A8_jaxp.xml b/tests/xmark_tiny.xml.results/A8_jaxp.xml
index b0c697a..25b9f37 100644 (file)
--- a/tests/xmark_tiny.xml.results/A8_jaxp.xml
+++ b/tests/xmark_tiny.xml.results/A8_jaxp.xml
@@ -1,2 +1,2 @@
-<xml_result>
+<xml_result num="1">
 </xml_result>