ocaml 3.09 transition

[helm.git] / helm / papers / use_case / stats / validating_time_libxml2_tree.sh

diff --git a/helm/papers/use_case/stats/validating_time_libxml2_tree.sh b/helm/papers/use_case/stats/validating_time_libxml2_tree.sh
index aa63eec3ef7d81b0891f136178d212b27a0c08f2..0249c1e5cbd1337d20c84d5fa50bf96269c3d94d 100755 (executable)
--- a/helm/papers/use_case/stats/validating_time_libxml2_tree.sh
+++ b/helm/papers/use_case/stats/validating_time_libxml2_tree.sh
@@ -1,3 +1,3 @@
 #!/bin/sh
 TIME=`/usr/bin/xmllint --timing --valid --noout $1 2>&1 | fgrep "Parsing" | cut -d ' ' -f 3`
-echo `fgrep $1 $2 | cut -d ' ' -f 2,3`" "$TIME
+echo `fgrep $1 $2 | cut -d ' ' -f 2,3,4`" "$TIME