spotless

mattulbrich · mattulbrich · commit 33185d28a5d8 · 2025-02-07T18:39:24.000+01:00
diff --git a/key.core/src/test/java/de/uka/ilkd/key/nparser/Issue3452Test.java b/key.core/src/test/java/de/uka/ilkd/key/nparser/Issue3452Test.java
@@ -50,7 +50,7 @@ void testIllegalNoState() throws ProblemLoaderException, ProofInputException {
             System.err.println("Unexpected load success");
         });
 
-        if(!exception.getMessage().startsWith("Heap used in a `no_state` method.")) {
+        if (!exception.getMessage().startsWith("Heap used in a `no_state` method.")) {
             fail("Unexpected exception message: " + exception.getMessage());
         }
     }

Original file line number	Diff line number	Diff line change
`@@ -50,7 +50,7 @@ void testIllegalNoState() throws ProblemLoaderException, ProofInputException {`
`50`	`50`	`System.err.println("Unexpected load success");`
`51`	`51`	`});`
`52`	`52`
`53`		- if(!exception.getMessage().startsWith("Heap used in a `no_state` method.")) {
	`53`	+ if (!exception.getMessage().startsWith("Heap used in a `no_state` method.")) {
`54`	`54`	`fail("Unexpected exception message: " + exception.getMessage());`
`55`	`55`	`}`
`56`	`56`	`}`