1 files changed, 2 insertions, 0 deletions
diff --git a/options.c b/options.c
index b62259e..6d43014 100644
--- a/options.c
+++ b/options.c
@@ -189,6 +189,8 @@ optspec_t flexopts[] = {
 	,			/* Flex should run in trace mode. */
 	{"--tables-file[=FILE]", OPT_TABLES_FILE, 0}
 	,			/* Save tables to FILE */
+        {"--tables-verify", OPT_TABLES_VERIFY, 0}
+        ,                       /* Tables integrity check */
 	{"--nounistd", OPT_NO_UNISTD_H, 0}
 	,			/* Do not include unistd.h */
 	{"-v", OPT_VERBOSE, 0}