diff --git a/org.sat4j.sat/src/main/java/org/sat4j/sat/KTHLauncher.java b/org.sat4j.sat/src/main/java/org/sat4j/sat/KTHLauncher.java
index 2fb0c41603945113244b5a5c4260e6c4e0822ecf..ffbe6602f71d14d8ab5f6482a2b98da39e486965 100644
--- a/org.sat4j.sat/src/main/java/org/sat4j/sat/KTHLauncher.java
+++ b/org.sat4j.sat/src/main/java/org/sat4j/sat/KTHLauncher.java
@@ -185,7 +185,6 @@ public class KTHLauncher {
                             + " is not a supported value for option round-reason");
                     return;
                 }
-                return;
             }
             // validate that block-size has been set
             if (line.hasOption("coeflim")) {