diff options
| author | Josh Blum | 2013-06-15 13:45:16 -0700 |
|---|---|---|
| committer | Josh Blum | 2013-06-15 13:45:16 -0700 |
| commit | ecd4f779750093ea361ff0860e031917285f775c (patch) | |
| tree | fca74004b028029ffb8c56f54d16277c757a7c34 /lib/element.cpp | |
| parent | 02256e17cc5b9b585340c7ae9a8c97943f5507df (diff) | |
| download | sandhi-ecd4f779750093ea361ff0860e031917285f775c.tar.gz sandhi-ecd4f779750093ea361ff0860e031917285f775c.tar.bz2 sandhi-ecd4f779750093ea361ff0860e031917285f775c.zip | |
gras: misc tweaks to dot related stuff
Diffstat (limited to 'lib/element.cpp')
| -rw-r--r-- | lib/element.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/element.cpp b/lib/element.cpp index 008027c..1781fc7 100644 --- a/lib/element.cpp +++ b/lib/element.cpp @@ -21,7 +21,7 @@ Element::Element(const std::string &name) size_t which = 0; while (true) { - const std::string uid = str(boost::format("%s %u") % name % which); + const std::string uid = str(boost::format("%s_%u") % name % which); try { this->set_uid(uid); |