Merge branch 'main' into pr-109

1 files changed, 1 insertions, 0 deletions

diff --git a/src/zprep.h b/src/zprep.h
index 03c17fc..ea38927 100644
--- a/src/zprep.h
+++ b/src/zprep.h
@@ -179,6 +179,7 @@ typedef struct
     int emit_c;          // 1 if --emit-c (keep C file).
     int verbose;         // 1 if --verbose.
     int quiet;           // 1 if --quiet.
+    int no_zen;          // 1 if --no-zen (disable zen facts).
     int repl_mode;       // 1 if --repl (internal flag for REPL usage).
     int is_freestanding; // 1 if --freestanding.
     int mode_transpile;  // 1 if 'transpile' command.