1 files changed, 6 insertions, 12 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java
index 89633ca1..f1d73bec 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java
@@ -403,20 +403,14 @@ public class Logic2VampireLanguageMapper_Support {
     return _xifexpression;

   }

   

-  protected List<Type> listSubtypes(final Type t) {

-    List<Type> allSubtypes = CollectionLiterals.<Type>newArrayList();

-    boolean _isEmpty = t.getSubtypes().isEmpty();

-    boolean _not = (!_isEmpty);

-    if (_not) {

-      EList<Type> _subtypes = t.getSubtypes();

-      for (final Type subt : _subtypes) {

-        {

-          allSubtypes.add(subt);

-          allSubtypes = this.listSubtypes(subt);

-        }

+  protected void listSubtypes(final Type t, final List<Type> allSubtypes) {

+    EList<Type> _subtypes = t.getSubtypes();

+    for (final Type subt : _subtypes) {

+      {

+        allSubtypes.add(subt);

+        this.listSubtypes(subt, allSubtypes);

       }

     }

-    return allSubtypes;

   }

   

   protected HashMap<Variable, VLSVariable> withAddition(final Map<Variable, VLSVariable> map1, final Map<Variable, VLSVariable> map2) {