go

[helm.git] / helm / software / matita / scripts / public_html / common.php

diff --git a/helm/software/matita/scripts/public_html/common.php b/helm/software/matita/scripts/public_html/common.php
index ca853603da39838e3ab1cc239fa555b3f8c090ff..6668b6d683d870223acad6a5c942111060809554 100644 (file)
--- a/helm/software/matita/scripts/public_html/common.php
+++ b/helm/software/matita/scripts/public_html/common.php
@@ -1,5 +1,7 @@
 <?php
 
+$i = 0;
+  
 function array_to_combo($a) {
   foreach($a as $k => $v){
     echo "<option value=\"{$v}\">{$v}</option>";