diff options
| author | dos-reis <gdr@axiomatics.org> | 2014-11-18 02:29:25 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2014-11-18 02:29:25 +0000 |
| commit | bb531c8db7a41f93f647f354e29d0e33d1377796 (patch) | |
| tree | cbc1936e872e0403811399584a39a6d8a251168d | |
| parent | 8c3ecc5bfb24190fee0244a6826bbddf136f9484 (diff) | |
| download | open-axiom-bb531c8db7a41f93f647f354e29d0e33d1377796.tar.gz | |
Remove format_on from Package.
| -rw-r--r-- | src/include/vm.H | 1 | ||||
| -rw-r--r-- | src/rt/vm.cc | 7 |
2 files changed, 0 insertions, 8 deletions
diff --git a/src/include/vm.H b/src/include/vm.H index 3ee093ea..3bb62250 100644 --- a/src/include/vm.H +++ b/src/include/vm.H @@ -497,7 +497,6 @@ namespace OpenAxiom { explicit Package(InternedString); void accept(Visitor&) const override; - void format_on(std::ostream&) const; Symbol* make_symbol(InternedString); Symbol* find_symbol(InternedString); }; diff --git a/src/rt/vm.cc b/src/rt/vm.cc index e85cb558..b099fa70 100644 --- a/src/rt/vm.cc +++ b/src/rt/vm.cc @@ -95,13 +95,6 @@ namespace OpenAxiom { : name(s) { } - void Package::format_on(std::ostream& os) const { - os << "#<PACKAGE \""; - std::copy(name->begin(), name->end(), - std::ostream_iterator<char>(os)); - os << '"' << '>'; - } - Symbol* Package::make_symbol(InternedString s) { auto sym = const_cast<Symbol*>(&*symbols.insert(Symbol(s)).first); |