diff --git a/compile b/compile
index 341416c..e9af851 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 decidability
-  for chapter in predlogic
+  #for chapter in smtzthree proplogic satsolver ndpred predlogic ndprop smt bdd eqchecking symbenc temporal decidability
+  for chapter in ndprop
   do
     set_chapter "\\chapter${chapter}true"
     compile_wrapper "$chapter" "$@"