diff options
-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) { |