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 73c413b3..d02174f7 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
@@ -63,7 +63,7 @@ public class VampireTest {
       final URI logicURI = URI.createFileURI("output/files/logProb.logicproblem");

       final Resource logRes = rs.createResource(logicURI);

       LogicProblem problem = VampireTest.builder.createProblem();

-      VampireTest.deMorgan(problem);

+      VampireTest.rockPaperScisors(problem);

       logRes.getContents().add(problem);

       logRes.save(Collections.EMPTY_MAP);

       InputOutput.<String>println("Problem Created");