X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fon-line%2Fxslt%2FmakeGraphLinks.xsl;h=4ee9dcc24f867dfe3ba12d980682095306c89b16;hb=a26f81f70fb12e187585dd859a0c5a3333ba8665;hp=4f946cbe66af83bcc26c759691c55a69ca556ee4;hpb=bb236c2ac110124de92fa2d0fb2882d273a7f7eb;p=helm.git
diff --git a/helm/on-line/xslt/makeGraphLinks.xsl b/helm/on-line/xslt/makeGraphLinks.xsl
index 4f946cbe6..4ee9dcc24 100644
--- a/helm/on-line/xslt/makeGraphLinks.xsl
+++ b/helm/on-line/xslt/makeGraphLinks.xsl
@@ -54,7 +54,6 @@
var lastX, lastY;
var selectedURI;
var selectedCICURL;
- var selectedTheoryURL;
var selectedForwardURL;
var selectedBackwardURL;
@@ -68,10 +67,6 @@