]> matita.cs.unibo.it Git - helm.git/commitdiff
interpretation_choices not declared
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 10 Mar 2004 13:11:19 +0000 (13:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 10 Mar 2004 13:11:19 +0000 (13:11 +0000)
helm/searchEngine/html/index.html

index 7e0dc270f48ee9f4e358c43ac61dfa398d16391e..305b2f8e19e1bcbbbe8a160feb1edcdba5d9b4ce 100644 (file)
@@ -16,7 +16,7 @@ var wrong=0;
 var ricordaliaslist=0;
 var actinput=0;
 var numeroazioniannullate=0;
-var terminecic="";var listaliases="";var choices;var vlds=new Array();//contengono i parametri per dialogare col server in caso di ambiguità nella Match Conclusion.
+var terminecic="";var listaliases="";var choices="";var interpretation_choices="";var vlds=new Array();//contengono i parametri per dialogare col server in caso di ambiguità nella Match Conclusion.
 aliasglob=new Array();//per conservare la lista degli alias
 function initialize()
        {