1 files changed, 2 insertions, 0 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.xtend
index 6b383b12..13778dee 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.xtend
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.xtend
@@ -47,6 +47,8 @@ class Logic2VampireLanguageMapperTrace {
         public var Map<RelationDeclaration, RelationDefinition> relationDefinitions
         public var Map<RelationDeclaration, VLSFunction> rel2Predicate = new HashMap
         public var Map<VLSFunction, RelationDeclaration> predicate2Relation = new HashMap
+        public var Map<RelationDefinition, VLSFunction> relDef2Predicate = new HashMap
+        public var Map<VLSFunction, RelationDefinition> predicate2RelDef = new HashMap
         
         
 //NOT NEEDED    //public var VLSFunction constantDec