From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 14 Mar 2001 16:17:22 +0000 (+0000)
Subject: Syntax error + new indenting
X-Git-Tag: v0_1_2~80
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=91b02b4d359847ea54be16983ef95c7021f8d7de;p=helm.git

Syntax error + new indenting
---

diff --git a/helm/on-line/javascript/prelude.js b/helm/on-line/javascript/prelude.js
index dff8c31fa..90e877a01 100644
--- a/helm/on-line/javascript/prelude.js
+++ b/helm/on-line/javascript/prelude.js
@@ -46,9 +46,9 @@ function refreshLinks()
   for (var i = 0 ; i < args.length ; i++) {
      var couple = args[i].split("=");
      switch (couple[0]) {
-        case "cicuri"       : cicuri       =couple[1]; break;
-        case "theoryuri"    : theoryicuri  =couple[1]; break;
-        case "mode"         : mode         =couple[1]; break;
+        case "cicuri"       : cicuri     =couple[1]; break;
+        case "theoryuri"    : theoryuri  =couple[1]; break;
+        case "mode"         : mode       =couple[1]; break;
      }
   }
   if (cicuri == "-1") cicuri = getDefaultParam("cicuri");