fix example in README

logic-ng · May 2, 2024 · 8598706 · 8598706
1 parent c9d35c0
commit 8598706
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -30,6 +30,7 @@ For parsing a formula, you just create one of the two parsers and call `parse` o
 import org.logicng.formulas.Formula;
 import org.logicng.formulas.FormulaFactory;
 import org.logicng.io.parsers.PropositionalParser;
+import org.logicng.io.parsers.PseudoBooleanParser;
 
 FormulaFactory f = new FormulaFactory();
 PropositionalParser propositionalParser = new PropositionalParser(f);