From b97a0ae60f533b472062f8e218e5bf83807f4e0a Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 16 Jan 2013 14:49:25 +0100
Subject: [PATCH] remove file saving from test case
---
.../src/de/prob/units/tests/PragmaAttributesTest.java | 1 -
1 file changed, 1 deletion(-)
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 f51e9a11..2393ca92 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
--
GitLab