From 515d94e442c644a9984422f11efecacc5041db60 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.java      | 2 ++
 1 file changed, 2 insertions(+)

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

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.java
index 24df5fcd..621a6e58 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.java
@@ -29,6 +29,8 @@ public class Logic2VampireLanguageMapperTrace {
   
   public Logic2VampireLanguageMapper_TypeMapperTrace typeMapperTrace;
   
+  public Map<DefinedElement, String> definedElement2String = new HashMap<DefinedElement, String>();
+  
   public final Map<Type, VLSFunction> type2Predicate = new HashMap<Type, VLSFunction>();
   
   public final Map<DefinedElement, VLSFunction> element2Predicate = new HashMap<DefinedElement, VLSFunction>();
-- 
cgit v1.2.3-54-g00ecf