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. |