1 files changed, 1 insertions, 0 deletions
diff --git a/txr.h b/txr.h
index 36f29715..40cc2a39 100644
--- a/txr.h
+++ b/txr.h
@@ -31,6 +31,7 @@ extern int opt_gc_debug;
 #ifdef HAVE_VALGRIND
 extern int opt_vg_debug;
 #endif
+extern int opt_derivative_regex;
 extern const wchar_t *version;
 extern const wchar_t *progname;
 extern int output_produced;