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;
             }