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 50bc74a7d6f83ad7b85b51838a357754d0cd463e..da03daf5487ee34cb9ad8b369b30d5496f0a691d 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()) {