Merge branch 'release/v2.3' of github.com:logic-ng/LogicNG into relea…

…se/v2.3
logic-ng · Aug 1, 2022 · 53c33f8 · 53c33f8
2 parents 6af287d + aa511e2
commit 53c33f8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/test/java/org/logicng/formulas/ExtendedFormulaFactoryTest.java b/src/test/java/org/logicng/formulas/ExtendedFormulaFactoryTest.java
@@ -235,7 +235,7 @@ public void testCNFFactorization() {
     }
 
     @Test
-    public void testCcEncondingClearance() {
+    public void testCcEncodingClearance() {
         final ExtendedFormulaFactory eff = new ExtendedFormulaFactory();
         final Variable[] problemLits = new Variable[100];
         for (int i = 0; i < 100; i++) {