1 files changed, 1 insertions, 0 deletions
diff --git a/txr.h b/txr.h
index 5140712f..be82ebfc 100644
--- a/txr.h
+++ b/txr.h
@@ -33,6 +33,7 @@ extern int opt_gc_debug;
 extern int opt_vg_debug;
 #endif
 extern int opt_derivative_regex;
+extern int opt_noninteractive;
 extern int opt_compat;
 extern alloc_bytes_t opt_gc_delta;
 extern const wchli_t *version;