X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fuse_case%2Fstats%2Fvalidating_time_libxml2_tree.sh;h=0249c1e5cbd1337d20c84d5fa50bf96269c3d94d;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=aa63eec3ef7d81b0891f136178d212b27a0c08f2;hpb=e8a6c92ba0cd89ceafe2504754276c587f895a9e;p=helm.git

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 aa63eec3e..0249c1e5c 100755
--- 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