Commit f6afebfa authored by Daniel Le Berre's avatar Daniel Le Berre

Fixed a few sonar violations.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1863 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent fb307fb5
......@@ -33,10 +33,10 @@ import org.sat4j.specs.IConstr;
public class UnitWeightedClause implements IConstr {
private static final UnitWeightedClause instance = new UnitWeightedClause();
private static final UnitWeightedClause INSTANCE = new UnitWeightedClause();
public static UnitWeightedClause instance() {
return instance;
return INSTANCE;
}
private UnitWeightedClause() {
......
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