Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index dcc4c90a9b89f75b1d70022705d08d710920e2aa..bbffaa8a72973ec2d55ffbe3064f2c03c81e6b87 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -804,8 +804,6 @@ DEFINE_BOOL(manual_evacuation_candidates_selection, false, |
DEFINE_BOOL(help, false, "Print usage message, including flags, on console") |
DEFINE_BOOL(dump_counters, false, "Dump counters on exit") |
-DEFINE_BOOL(debugger, false, "Enable JavaScript debugger") |
- |
DEFINE_STRING(map_counters, "", "Map counters to a file") |
DEFINE_ARGS(js_arguments, |
"Pass all remaining arguments to the script. Alias for \"--\".") |