From 1baa36f723a16fa759b6f8710179753844ba0c8b Mon Sep 17 00:00:00 2001
From: Romain WALLON <wallon@cril.fr>
Date: Mon, 24 Sep 2018 14:48:54 +0200
Subject: [PATCH] Adds private modifier

---
 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 0910b56c..992be55e 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
@@ -1205,7 +1205,7 @@ public class Solver<D extends DataStructureFactory>
 
     private IVecInt unsatExplanationInTermsOfAssumptions;
 
-    Lbool search(IVecInt assumps) {
+    private Lbool search(IVecInt assumps) {
         assert this.rootLevel == decisionLevel();
         this.stats.starts++;
         int backjumpLevel;
-- 
GitLab