Skip to content

GitLab

Commit 6eb8986c authored by Daniel Le Berre's avatar Daniel Le Berre
Browse files
Options

Removed spurious return statement.

parent 146c09d0
Pipeline #278 passed with stages
      in 23 minutes and 10 seconds
      Hide whitespace changes
      Inline Side-by-side
      Showing with 0 additions and 1 deletion
      org.sat4j.sat/src/main/java/org/sat4j/sat/KTHLauncher.java
      View file @ 6eb8986c
      ...@@ -185,7 +185,6 @@ public class KTHLauncher { ...@@ -185,7 +185,6 @@ public class KTHLauncher {
      + " is not a supported value for option round-reason"); + " is not a supported value for option round-reason");
      return; return;
      } }
      return;
      } }
      // validate that block-size has been set // validate that block-size has been set
      if (line.hasOption("coeflim")) { if (line.hasOption("coeflim")) {
      ......
      Markdown is supported
      0% or .
      You are about to add 0 people to the discussion. Proceed with caution.
      Finish editing this message first!
      Please register or to comment