diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2017-01-17 04:10:13 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2017-01-17 04:10:13 -0800 |
commit | 8988a27cf5f414263d0796a323f0d033265271e7 (patch) | |
tree | 5f59e3c581af034db09d781d671504367851fe62 /src/io | |
parent | 557a8218131f5a81954fca2ae1dbffa99ef3adbf (diff) | |
download | open-axiom-8988a27cf5f414263d0796a323f0d033265271e7.tar.gz |
More cleanup.
Diffstat (limited to 'src/io')
-rw-r--r-- | src/io/InputFragment.cxx | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/io/InputFragment.cxx b/src/io/InputFragment.cxx index 01970f84..595b88b1 100644 --- a/src/io/InputFragment.cxx +++ b/src/io/InputFragment.cxx @@ -41,6 +41,11 @@ #include <open-axiom/SourceInput> namespace OpenAxiom { + + std::ostream& operator<<(std::ostream& os, FragmentCursor cur) { + return os << '{' << cur.line << '-' << cur.column << '}'; + } + // Formatting program fragments. std::ostream& operator<<(std::ostream& os, const Fragment& f) { std::copy(f.begin(), f.end(), |