Remove intentional error

kovzol · kovzol · commit 4470e4979f82 · 2025-06-13T09:26:50.000+02:00
diff --git a/src/main/java/wprover/PanelProve.java b/src/main/java/wprover/PanelProve.java
@@ -1674,7 +1674,6 @@ String setNode(Cond co) {
 
         ret += ", style = \"" + s + "\", shape = " + f + ", fillcolor = \"" + c + "\"];\n";
         return ret;
-        return ret; // an intentional error to check GitHub Actions
     }
 
     /**

Original file line number	Diff line number	Diff line change
`@@ -1674,7 +1674,6 @@ String setNode(Cond co) {`
`1674`	`1674`
`1675`	`1675`	`ret += ", style = \"" + s + "\", shape = " + f + ", fillcolor = \"" + c + "\"];\n";`
`1676`	`1676`	`return ret;`
`1677`		`- return ret; // an intentional error to check GitHub Actions`
`1678`	`1677`	`}`
`1679`	`1678`
`1680`	`1679`	`/**`