diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-03-07 12:47:17 -0500 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-03-07 12:47:17 -0500 |
commit | 0554b112c3a29404cdee62e5c461781fbb8b8c73 (patch) | |
tree | e5ea8e86b2995b86402234323bb861c417b5f80d /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra | |
parent | Validation for abstract dynamic types (diff) | |
download | VIATRA-Generator-0554b112c3a29404cdee62e5c461781fbb8b8c73.tar.gz VIATRA-Generator-0554b112c3a29404cdee62e5c461781fbb8b8c73.tar.zst VIATRA-Generator-0554b112c3a29404cdee62e5c461781fbb8b8c73.zip |
removed unnecessary println
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend index 4b5f2946..e9af0638 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend | |||
@@ -136,7 +136,6 @@ class RefinementRuleProvider { | |||
136 | //val problem = match.get(0) as LogicProblem | 136 | //val problem = match.get(0) as LogicProblem |
137 | val interpretation = match.get(1) as PartialInterpretation | 137 | val interpretation = match.get(1) as PartialInterpretation |
138 | val typeInterpretation = match.get(2) as PartialTypeInterpratation | 138 | val typeInterpretation = match.get(2) as PartialTypeInterpratation |
139 | println("->"+typeInterpretation.interpretationOf.name) | ||
140 | 139 | ||
141 | val newElement = createDefinedElement | 140 | val newElement = createDefinedElement |
142 | if(nameNewElement) { | 141 | if(nameNewElement) { |