minor typo

rouven-walter · rouven-walter · commit aa511e2967d2 · 2022-08-01T22:23:27.000+02:00
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++) {

Original file line number	Diff line number	Diff line change
`@@ -235,7 +235,7 @@ public void testCNFFactorization() {`
`235`	`235`	`}`
`236`	`236`
`237`	`237`	`@Test`
`238`		`- public void testCcEncondingClearance() {`
	`238`	`+ public void testCcEncodingClearance() {`
`239`	`239`	`final ExtendedFormulaFactory eff = new ExtendedFormulaFactory();`
`240`	`240`	`final Variable[] problemLits = new Variable[100];`
`241`	`241`	`for (int i = 0; i < 100; i++) {`