From 4adf7ae464927c724eb3d8d673a662c66555881b Mon Sep 17 00:00:00 2001
From: OszkarSemerath <oszkar.semerath@gmail.com>
Date: Fri, 14 Sep 2018 16:40:16 +0200
Subject: Progress monitor fix

---
 .../hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend
index b7219173..f1d410d8 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend
@@ -203,5 +203,5 @@ public abstract class SolverProgressMonitor {
 	}
 }
 public class NullSolverProgressMonitor extends SolverProgressMonitor {
-	override protected processWorked(double amount) { throw new UnsupportedOperationException("TODO: auto-generated method stub") }
+	override protected processWorked(double amount) {  }
 }
-- 
cgit v1.2.3-54-g00ecf