From aa511e2967d2cd070a6a06025fd4b40d7e5a8610 Mon Sep 17 00:00:00 2001
From: Rouven Walter <rouven.walter@booleworks.com>
Date: Mon, 1 Aug 2022 22:23:27 +0200
Subject: [PATCH] minor typo

---
 .../java/org/logicng/formulas/ExtendedFormulaFactoryTest.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/java/org/logicng/formulas/ExtendedFormulaFactoryTest.java b/src/test/java/org/logicng/formulas/ExtendedFormulaFactoryTest.java
index cef389ad..2eb41501 100644
--- 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++) {