minor fix in SATSolver API

logic-ng · Sep 13, 2019 · 3f6d6a2 · 3f6d6a2
1 parent 633e9b6
commit 3f6d6a2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/org/logicng/solvers/SATSolver.java b/src/main/java/org/logicng/solvers/SATSolver.java
@@ -291,7 +291,7 @@ public Tristate sat(final Literal literal) {
      * @param assumptions a collection of literals
      * @return the satisfiability of the formula in the solver
      */
-    public Tristate sat(final Collection<Literal> assumptions) {
+    public Tristate sat(final Collection<? extends Literal> assumptions) {
         return this.sat(null, assumptions);
     }