| 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") | 
|  | 
|  |