Improving #147

It is probably better to avoid a NPE on the synchronized statement.

Improving #147
It is probably better to avoid a NPE on the synchronized statement.
b430d191 · Daniel Le Berre · 4d97c59e · b430d191
Commit b430d191 authored Sep 25, 2018 by Daniel Le Berre
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java ...t4j.core/src/main/java/org/sat4j/minisat/core/Solver.java +1 -1

No files found.
--- 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
@@ -1779,7 +1779,7 @@ public class Solver<D extends DataStructureFactory>
                    @Override
                    public void run() {
                        Solver.this.undertimeout = false;
-                        synchronized (Solver.this.timer) {
+                        synchronized (Solver.this) {
                            if (Solver.this.timer != null) {
                                Solver.this.timer.cancel();
                                Solver.this.timer = null;