From 91b02b4d359847ea54be16983ef95c7021f8d7de Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 14 Mar 2001 16:17:22 +0000 Subject: [PATCH] Syntax error + new indenting --- helm/on-line/javascript/prelude.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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"); -- 2.39.2