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