Changed the label of cycles tooltip

imldresden · Jan 29, 2025 · 7bb4828 · 7bb4828
1 parent 11ba4e0
commit 7bb4828
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/frontend/public/js/proof/rules/cd/cd-rules.js b/frontend/public/js/proof/rules/cd/cd-rules.js
@@ -25,7 +25,7 @@ function combineSteps(data, name) {
     if (keys.length === 1) {
         return data;
     } else {
-        const d = { id: "combined", premises: [], name: `Negative Cycle\n${name}` };
+        const d = { id: "combined", premises: [], name: `Negative Cycle - ${name}` };
         const s = new Set();
         keys.forEach(id => {
             d.domain = data.ops[id].domain;