diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-05-02 18:48:20 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-05-02 18:48:20 +0100 |
| commit | 78eb437b9061606d582ad6e39138728cd7567118 (patch) | |
| tree | 1372b4f29e89c8991e67a3137b979d89f9878b45 /src/shared_string.hh | |
| parent | d7159a9af04d88fa2c741557ec436f08d62ef541 (diff) | |
Formatting fix
Diffstat (limited to 'src/shared_string.hh')
| -rw-r--r-- | src/shared_string.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/shared_string.hh b/src/shared_string.hh index c5de1747..74232613 100644 --- a/src/shared_string.hh +++ b/src/shared_string.hh @@ -27,7 +27,7 @@ struct StringData : UseMemoryDomain<MemoryDomain::SharedString> { const int len = (int)str.length() + (back != 0 ? 1 : 0); void* ptr = StringData::operator new(sizeof(StringData) + len + 1); - StringData* res = new (ptr) StringData(0, len);; + StringData* res = new (ptr) StringData(0, len); std::copy(str.begin(), str.end(), res->data()); if (back != 0) res->data()[len-1] = back; |