From 6a45f6a640dc8f7b5f9819d22d68cd79fbe3c260 Mon Sep 17 00:00:00 2001
From: Zuhaitz Méndez Fernández de Aránguiz <zuhaitz@debian>
Date: Sun, 25 Jan 2026 11:18:07 +0000
Subject: Related to #113

---
 src/zprep.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/zprep.h')

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.
-- 
cgit v1.2.3