From fe2881fe9c09372ac4a5cc54e96b439d024dffd9 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Fri, 13 Oct 2017 13:35:03 +0200 Subject: :lipstick: --- .../builder/Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend | 2 -- 1 file changed, 2 deletions(-) (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend') diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend index 3b2e3390..397fb84b 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend @@ -14,11 +14,9 @@ import java.util.ArrayList import java.util.Collection import java.util.HashMap import java.util.List -import java.util.Map import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* - /** * Each object is an element of an Object set, and types are subsets of the objects. */ -- cgit v1.2.3-54-g00ecf