From 9ef5ad98f381bda36c4895198363b9ead0505f40 Mon Sep 17 00:00:00 2001
From: sp <stefan.pranger@iaik.tugraz.at>
Date: Fri, 14 Jun 2024 13:41:34 +0200
Subject: [PATCH] compile smtzthree

---
 compile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/compile b/compile
index 4e82664..eb8d5df 100755
--- a/compile
+++ b/compile
@@ -101,8 +101,8 @@ compile_wrapper() {
 }
 
 compile_chapter() {
-  #for chapter in smtzthree proplogic satsolver ndpred predlogic ndpred smt bdd eqchecking symbenc temporal
-  for chapter in  ndpred
+  #for chapter in smtzthree proplogic satsolver ndpred predlogic ndpred smt bdd eqchecking symbenc temporal decidability
+  for chapter in smtzthree
   do
     set_chapter "\\chapter${chapter}true"
     compile_wrapper "$chapter" "$@"