diff --git a/jastadd-mquat-solver-random/src/main/java/de/tudresden/inf/st/mquat/solving/random/RandomSolver.java b/jastadd-mquat-solver-random/src/main/java/de/tudresden/inf/st/mquat/solving/random/RandomSolver.java index a90785ccc21a071e34f9a420483c673732ca126b..f8aa9d4a01b3944e47807356ba7537421b0ac053 100644 --- a/jastadd-mquat-solver-random/src/main/java/de/tudresden/inf/st/mquat/solving/random/RandomSolver.java +++ b/jastadd-mquat-solver-random/src/main/java/de/tudresden/inf/st/mquat/solving/random/RandomSolver.java @@ -54,7 +54,6 @@ public class RandomSolver implements BenchmarkableSolver { numTotalSoftwareSolutions++; Solution solution = model.createRandomSolution(random); -// logger.debug("\n" + solution.print(new MquatWriteSettings(" ")).toString()); if (solution.isValid()) {