| Index: src/property-details.h | 
| diff --git a/src/property-details.h b/src/property-details.h | 
| index 33d3b8d7efd6ef20b235efb070202cfaeb6cce2b..ca37927017828019bb1972b2846920d3a63339b7 100644 | 
| --- a/src/property-details.h | 
| +++ b/src/property-details.h | 
| @@ -371,6 +371,7 @@ class PropertyDetails BASE_EMBEDDED { | 
| std::ostream& operator<<(std::ostream& os, | 
| const PropertyAttributes& attributes); | 
| std::ostream& operator<<(std::ostream& os, const PropertyDetails& details); | 
| -} }  // namespace v8::internal | 
| +}  // namespace internal | 
| +}  // namespace v8 | 
|  | 
| #endif  // V8_PROPERTY_DETAILS_H_ | 
|  |