Syntax error + new indenting

diff --git a/helm/on-line/javascript/prelude.js b/helm/on-line/javascript/prelude.js
index dff8c31fa0ae580a235d8de6ad20940ffb2594ee..90e877a01381e934b5caa2e6adfbd5b82afc7fc0 100644 (file)
--- 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");