From 8af14a63b0c0128bb358f5850f75cf054d0df3b9 Mon Sep 17 00:00:00 2001
From: sp <stefan.pranger@iaik.tugraz.at>
Date: Fri, 14 Jun 2024 13:50:53 +0200
Subject: [PATCH] compile eqchecking

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

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