diff options
author | Hieu Hoang <fishandfrolick@gmail.com> | 2012-05-15 18:17:59 +0400 |
---|---|---|
committer | Hieu Hoang <fishandfrolick@gmail.com> | 2012-05-15 18:17:59 +0400 |
commit | 25d269390bb51af21786681ddcd27f493bcc47b1 (patch) | |
tree | 5fabfb7f1fb43d63c998b91faff2764f5eb3f6b9 /OnDiskPt | |
parent | fea7bf9d1af349a7485cca4194cfe71e694a809b (diff) |
Add util for querying on-disk pt
Diffstat (limited to 'OnDiskPt')
-rw-r--r-- | OnDiskPt/Word.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/OnDiskPt/Word.cpp b/OnDiskPt/Word.cpp index a8d4c683a..8ab5f4b98 100644 --- a/OnDiskPt/Word.cpp +++ b/OnDiskPt/Word.cpp @@ -147,7 +147,7 @@ bool Word::operator==(const Word &compare) const std::ostream& operator<<(std::ostream &out, const Word &word) { - out << "["; + out << "("; std::vector<UINT64>::const_iterator iter; for (iter = word.m_factors.begin(); iter != word.m_factors.end(); ++iter) { @@ -155,7 +155,7 @@ std::ostream& operator<<(std::ostream &out, const Word &word) } out << (word.m_isNonTerminal ? "n" : "t"); - out << "]"; + out << ")"; return out; } |