From d01f9512655bf0e186b1c541deb2b1080faa2ee4 Mon Sep 17 00:00:00 2001
From: Daniel Le Berre <daniel.leberre@univ-artois.fr>
Date: Sun, 11 Nov 2018 22:25:52 +0100
Subject: [PATCH] Making addHook method public final to reuse it in other
 launchers.

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

diff --git a/org.sat4j.core/src/main/java/org/sat4j/AbstractLauncher.java b/org.sat4j.core/src/main/java/org/sat4j/AbstractLauncher.java
index f3d76f90..f83f541e 100644
--- a/org.sat4j.core/src/main/java/org/sat4j/AbstractLauncher.java
+++ b/org.sat4j.core/src/main/java/org/sat4j/AbstractLauncher.java
@@ -117,7 +117,7 @@ public abstract class AbstractLauncher implements Serializable, ILogAble {
         this.launcherMode.setIncomplete(isIncomplete);
     }
 
-    protected void addHook() {
+    public final void addHook() {
         Runtime.getRuntime().addShutdownHook(this.shutdownHook);
     }
 
-- 
GitLab