id bug

imldresden · Nov 12, 2024 · 2a70a26 · 2a70a26
1 parent 6b72a38
commit 2a70a26
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/frontend/public/js/proof/rules/cd/linear/linear.js b/frontend/public/js/proof/rules/cd/linear/linear.js
@@ -109,7 +109,7 @@ export class LinearCD {
 
             let maxLength = 0;
             variables.forEach((v, i) => {
-                const l = printValue(values[i], v, output.append("span").attr("id", `#${plot}-sol-${v}`).attr("class", "text-eq premise"));
+                const l = printValue(values[i], v, output.append("span").attr("id", `${plot}-sol-${v}`).attr("class", "text-eq premise"));
                 if (l > maxLength) {
                     maxLength = l;
                 }