Related to #113

1 files changed, 5 insertions, 0 deletions

diff --git a/src/main.c b/src/main.c
index 17cbdf6..3f6a51f 100644
--- a/src/main.c
+++ b/src/main.c
@@ -47,6 +47,7 @@ void print_usage()
     printf("  -g              Debug info\n");
     printf("  -v, --verbose   Verbose output\n");
     printf("  -q, --quiet     Quiet output\n");
+    printf("  --no-zen        Disable Zen facts\n");
     printf("  -c              Compile only (produce .o)\n");
     printf("  --cpp           Use C++ mode.\n");
     printf("  --cuda          Use CUDA mode (requires nvcc).\n");
@@ -145,6 +146,10 @@ int main(int argc, char **argv)
         {
             g_config.quiet = 1;
         }
+        else if (strcmp(arg, "--no-zen") == 0)
+        {
+            g_config.no_zen = 1;
+        }
         else if (strcmp(arg, "--freestanding") == 0)
         {
             g_config.is_freestanding = 1;