Chromium Code Reviews| Index: src/objects-debug.cc | 
| diff --git a/src/objects-debug.cc b/src/objects-debug.cc | 
| index ccb4b8d2a46899a8704ded3c34e13359299b613a..fee4ab36cce480e8d4bec0455ab318c488c7d08c 100644 | 
| --- a/src/objects-debug.cc | 
| +++ b/src/objects-debug.cc | 
| @@ -928,6 +928,7 @@ void Module::ModuleVerify() { | 
| requested_modules()->ObjectVerify(); | 
| VerifySmiField(kFlagsOffset); | 
| embedder_data()->ObjectVerify(); | 
| + CHECK(shared()->name()->IsSymbol()); | 
| // TODO(neis): Check more. | 
| } |