Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index 8f5ffedc1870cca757b5fae117c1011188885976..5a0c9f7b94b80ca85073647260f187acef358755 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -731,8 +731,6 @@ DEFINE_BOOL(trace_contexts, false, "trace contexts operations") |
DEFINE_BOOL(gc_verbose, false, "print stuff during garbage collection") |
DEFINE_BOOL(heap_stats, false, "report heap statistics before and after GC") |
DEFINE_BOOL(code_stats, false, "report code statistics after GC") |
-DEFINE_BOOL(verify_native_context_separation, false, |
- "verify that code holds on to at most one native context after GC") |
DEFINE_BOOL(print_handles, false, "report handles after GC") |
DEFINE_BOOL(print_global_handles, false, "report global handles after GC") |