Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index ca82ce709da5ac6d8e43e1672ee08b1ddf893c6d..9f112bbab672cc98e59fb4253633a114249a009f 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -620,6 +620,9 @@ DEFINE_INT(random_seed, 0, |
// objects.cc |
DEFINE_BOOL(use_verbose_printer, true, "allows verbose printing") |
+#if TRACE_MAPS |
+DEFINE_BOOL(trace_maps, false, "trace map creation") |
+#endif |
// parser.cc |
DEFINE_BOOL(allow_natives_syntax, false, "allow natives syntax") |