From bad5fb59141698a97c822cb164b452f5c22dda1a Mon Sep 17 00:00:00 2001
From: Brandon Rozek <brozek@brandonrozek.com>
Date: Wed, 29 Mar 2023 21:15:57 -0400
Subject: [PATCH] Work to get it to compile

---
 pom.xml                                                         | 2 +-
 .../java/com/naveensundarg/planner/utils/PlanningProblem.java   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index 3ac2cdd..52e5f1a 100644
--- a/pom.xml
+++ b/pom.xml
@@ -63,7 +63,7 @@
         <dependency>
             <groupId>com.naveensundarg</groupId>
             <artifactId>prover</artifactId>
-            <version>0.997</version>
+            <version>1.40</version>
         </dependency>
 
         <dependency>
diff --git a/src/main/java/com/naveensundarg/planner/utils/PlanningProblem.java b/src/main/java/com/naveensundarg/planner/utils/PlanningProblem.java
index 9f472b3..5b09ba8 100644
--- a/src/main/java/com/naveensundarg/planner/utils/PlanningProblem.java
+++ b/src/main/java/com/naveensundarg/planner/utils/PlanningProblem.java
@@ -342,7 +342,7 @@ public class PlanningProblem {
         Set<Formula> formulae = objects.stream().map(x -> {
             try {
                 return Reader.readFormula(x);
-            } catch (Reader.ParsingException e) {
+            } catch (Exception e) {
                 e.printStackTrace();
                 return null;
             }