From f1df430ea86c6d9b2b77330c2f61227c20c95f3b Mon Sep 17 00:00:00 2001
From: sp <stefan.pranger@iaik.tugraz.at>
Date: Thu, 21 Mar 2024 20:52:30 +0100
Subject: [PATCH] compile bdd satsolver proplogic

---
 compile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compile b/compile
index ccbc387..0634162 100644
--- a/compile
+++ b/compile
@@ -104,7 +104,7 @@ compile_wrapper() {
 
 compile_chapter() {
   #for chapter in smtzthree proplogic satsolver ndpred predlogic ndpred smt bdd eqchecking symbenc temporal
-  for chapter in bdd satsolver
+  for chapter in bdd satsolver proplogic
   do
     set_chapter "\\chapter${chapter}true"
     compile_wrapper "$chapter" "$@"