Commit 22f5a2a4 authored by Daniel Le Berre's avatar Daniel Le Berre
Browse files

Removed incorrect annotation.

parent e1e01226
Pipeline #8829 passed with stages
in 195 minutes and 57 seconds
......@@ -29,7 +29,6 @@
*******************************************************************************/
package org.sat4j.minisat.constraints.cnf;
import org.sat4j.annotations.Feature;
import org.sat4j.minisat.core.ILits;
import org.sat4j.specs.ContradictionException;
import org.sat4j.specs.IVecInt;
......@@ -40,7 +39,6 @@ import org.sat4j.specs.UnitPropagationListener;
* @author daniel
* @since 2.1
*/
@Feature("constraint")
public abstract class Clauses {
/**
* Perform some sanity check before constructing a clause a) if a literal is
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment