1 files changed, 2 insertions, 2 deletions

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend
index 76ac727a..fb1bdb59 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend
@@ -53,7 +53,7 @@ class YakinduTest {
                 // Start Time

                 var startTime = System.currentTimeMillis

 

-                var LogicReasoner reasoner

+                var VampireSolver reasoner

                 // *

                 reasoner = new VampireSolver

 

@@ -85,7 +85,7 @@ class YakinduTest {
                         it.uniquenessDuplicates = false

                 ]

 

-                var LogicResult solution = reasoner.solve(problem, vampireConfig, workspace)

+                var LogicResult solution = reasoner.solve(problem, vampireConfig, workspace, "YAK")

 

                 /*/

                  *