From 0dc934c9096176426ffa2a2446ed66e32a564a4b Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Thu, 4 Apr 2019 20:55:42 -0400 Subject: test push --- .../reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.xtend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill') diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.xtend index 741389bb..0d0be576 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.xtend @@ -94,7 +94,7 @@ class Logic2VampireLanguageMapper_ScopeMapper { // 3. Specify uniqueness of elements // TEMP - val DUPLICATES = true + val DUPLICATES = false val numInst = trace.uniqueInstances.length var ind = 1 -- cgit v1.2.3-54-g00ecf