diff --git a/compile b/compile
index 699a331..cc3d758 100755
--- 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  predlogic
+  for chapter in  eqchecking
   do
     set_chapter "\\chapter${chapter}true"
     compile_wrapper "$chapter" "$@"