1 files changed, 6 insertions, 0 deletions
diff --git a/src/main.c b/src/main.c
index 6f085b0..c4e6849 100644
--- a/src/main.c
+++ b/src/main.c
@@ -1140,6 +1140,12 @@ void flexinit (int argc, char **argv)
 		    case OPT_NO_YYSET_LLOC:
 			ctrl.no_yyset_lloc = true;
 			break;
+		    case OPT_NO_YYGET_DEBUG:
+			ctrl.no_get_debug = true;
+			break;
+		    case OPT_NO_YYSET_DEBUG:
+			ctrl.no_set_debug = true;
+			break;
 
 		    case OPT_HEX:
 			env.trace_hex = true;