diff options
| author | Zuhaitz Méndez Fernández de Aránguiz <zuhaitz@debian> | 2026-01-25 11:18:07 +0000 |
|---|---|---|
| committer | Zuhaitz Méndez Fernández de Aránguiz <zuhaitz@debian> | 2026-01-25 11:18:07 +0000 |
| commit | 6a45f6a640dc8f7b5f9819d22d68cd79fbe3c260 (patch) | |
| tree | 844b37826dd5061a4cffc51bc2027a768b9b0904 /src/zprep.h | |
| parent | b9a613749085e31a30894715333139b470549621 (diff) | |
Related to #113
Diffstat (limited to 'src/zprep.h')
| -rw-r--r-- | src/zprep.h | 1 |
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. |