From 13cb6b35e97b79e8e4f415becf916dfaafc5d315 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Wed, 24 Apr 2019 02:30:50 -0400
Subject: VAMPIRE: add to #40. I am tired

---
 .../vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.xtend     | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.xtend')

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 22bd4ab5..b9928383 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
@@ -30,6 +30,8 @@ class Logic2VampireLanguageMapperTrace {
 	//Necessary containers
 	public var Logic2VampireLanguageMapper_TypeMapperTrace typeMapperTrace
 	
+	public var Map<DefinedElement, String> definedElement2String = new HashMap
+	
 	public val Map<Type, VLSFunction> type2Predicate = new HashMap;
 	public val Map<DefinedElement, VLSFunction> element2Predicate = new HashMap
 	public val Map<Type, VLSTerm> type2PossibleNot = new HashMap
-- 
cgit v1.2.3-54-g00ecf