From 859870629e1dfbc80c5e7fd11cd028d152dc2410 Mon Sep 17 00:00:00 2001
From: Steffen Hildebrandt <steffen.hildebrandt@booleworks.com>
Date: Thu, 2 May 2024 14:15:14 +0200
Subject: [PATCH] fix example in README

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 391b593..b1db6ed 100644
--- 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);