From 2e3dde809e392ffcd967ae92c86b86550d95053c Mon Sep 17 00:00:00 2001
From: Daniel Le Berre <daniel.leberre@univ-artois.fr>
Date: Mon, 12 Nov 2018 16:49:38 +0100
Subject: [PATCH] Fix for #129

---
 org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java b/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java
index d30b2c1b..d9ca6962 100644
--- a/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java
+++ b/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java
@@ -1841,7 +1841,7 @@ public class Solver<D extends DataStructureFactory>
         this.slistener.end(status);
         if (!this.undertimeout) {
             String message = " Timeout (" + this.timeout
-                    + (this.timeBasedTimeout ? "s" : " conflicts")
+                    + (this.timeBasedTimeout ? "ms" : " conflicts")
                     + ") exceeded";
             throw new TimeoutException(message);
         }
-- 
GitLab