From 4b1b3e29867bb5f93d58c99e970b0e6630a52526 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Wed, 15 Aug 2018 09:27:08 +0200
Subject: [PATCH] cleanup
---
.../de/tudresden/inf/st/mquat/solving/random/RandomSolver.java | 1 -
1 file changed, 1 deletion(-)
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 a90785c..f8aa9d4 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()) {
--
GitLab