diff --git a/de.prob.units.tests/src/de/prob/units/tests/PragmaAttributesTest.java b/de.prob.units.tests/src/de/prob/units/tests/PragmaAttributesTest.java
index f51e9a11f287207248ae54eeca7e4f9d57a0b8db..2393ca925cbdeef2dc461e8574d98eb5bb1e5482 100644
--- a/de.prob.units.tests/src/de/prob/units/tests/PragmaAttributesTest.java
+++ b/de.prob.units.tests/src/de/prob/units/tests/PragmaAttributesTest.java
@@ -62,7 +62,6 @@ public class PragmaAttributesTest extends AbstractEventBTests {
 		// save file and build workspace - this triggers static check, and
 		// generates missing files
 		context.getRodinFile().save(monitor, false);
-		project.getRodinProject().save(monitor, false);
 		workspace.build(IncrementalProjectBuilder.FULL_BUILD, monitor);
 
 		// there should be one constant and one SC constant