From fec53c194ce5ef03651023d5091342eba7f67037 Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Fri, 8 May 2020 23:45:36 +0200 Subject: removed unnecesary logging --- .../logic2viatra/patterns/UnitPropagationPreconditionGenerator.xtend | 2 -- 1 file changed, 2 deletions(-) (limited to 'Solvers') diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/UnitPropagationPreconditionGenerator.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/UnitPropagationPreconditionGenerator.xtend index 7cf52b41..6c68ec94 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/UnitPropagationPreconditionGenerator.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/UnitPropagationPreconditionGenerator.xtend @@ -93,8 +93,6 @@ class UnitPropagationPreconditionGenerator { mainPropagationNames.put(referredCheck,new LinkedList) } if(propagationPrecondition !== null) { - println(query.parameterNames) - println(query.parameterNames.size) mainPropagationNames.get(referredCheck).add(propagationPrecondition->query.parameterNames.size) } } -- cgit v1.2.3-54-g00ecf