| Index: src/objects-debug.cc
|
| diff --git a/src/objects-debug.cc b/src/objects-debug.cc
|
| index 2986982c0f036774b693966d8add47066b8bc3cf..75320677c557e18bce4085eef8e3793614623ce0 100644
|
| --- a/src/objects-debug.cc
|
| +++ b/src/objects-debug.cc
|
| @@ -936,7 +936,7 @@ void Module::ModuleVerify() {
|
| requested_modules()->ObjectVerify();
|
| VerifySmiField(kFlagsOffset);
|
| embedder_data()->ObjectVerify();
|
| - CHECK(shared()->name()->IsSymbol());
|
| + VerifySmiField(kHashOffset);
|
| CHECK(module_namespace()->IsUndefined(isolate) ||
|
| module_namespace()->IsJSModuleNamespace());
|
| // TODO(neis): Check more.
|
|
|