ocaml 3.09 transition

[helm.git] / helm / matita / scripts / shell_adder.php

diff --git a/helm/matita/scripts/shell_adder.php b/helm/matita/scripts/shell_adder.php
index e0ddda95e89dda6941f97159da0063dd7034d46a..a13005e551ef7e79ee6f0356ed36af0b79504889 100755 (executable)
--- a/helm/matita/scripts/shell_adder.php
+++ b/helm/matita/scripts/shell_adder.php
@@ -1,5 +1,6 @@
-#!/usr/bin/php4
 <?php
  require($argv[1]);
- print(sum_time($argv[2], $argv[3])); 
+ $rc = query($argv[2]);
+ $a = array_values($rc[0]); 
+ print($a[0]);
 ?>