From 6b68ae776d17d9e7a741f44a2df327e88c97e632 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 50bc74a..da03daf 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