Intentional error to check GitHub Actions

kovzol · kovzol · commit 8593fc5487be · 2025-06-13T09:23:11.000+02:00
diff --git a/src/main/java/wprover/PanelProve.java b/src/main/java/wprover/PanelProve.java
@@ -1674,6 +1674,7 @@ 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,6 +1674,7 @@ 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`
`1677`	`1678`	`}`
`1678`	`1679`
`1679`	`1680`	`/**`