diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java index 0c1b3fe9..2af5d456 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java | |||
@@ -42,7 +42,7 @@ import org.eclipse.xtext.xbase.lib.Procedures.Procedure1; | |||
42 | @SuppressWarnings("all") | 42 | @SuppressWarnings("all") |
43 | public class VampireTest { | 43 | public class VampireTest { |
44 | @Extension | 44 | @Extension |
45 | private final static LogicProblemBuilder builder = new LogicProblemBuilder(); | 45 | private static final LogicProblemBuilder builder = new LogicProblemBuilder(); |
46 | 46 | ||
47 | public static void main(final String[] args) { | 47 | public static void main(final String[] args) { |
48 | try { | 48 | try { |