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