symbol: make get_domain() a virtual method, remove symbol::domain.
authorAlexei Sheplyakov <varg@theor.jinr.ru>
Thu, 16 Oct 2008 11:43:32 +0000 (15:43 +0400)
committerAlexei Sheplyakov <varg@theor.jinr.ru>
Sun, 19 Oct 2008 17:29:12 +0000 (21:29 +0400)
commit8fdf123fe6dac43ad7b8020d7bb7446c51cf75e7
tree5f5c0812be00101ebd369440cea6ced74e1cfbe9
parent94e5076a9ad0d142ee4604e9b078a10083efd24c
symbol: make get_domain() a virtual method, remove symbol::domain.

This cuts yet another 4 bytes from GiNaC::symbol. While at it, fix a memory
leak in ginsh.
ginac/symbol.cpp
ginac/symbol.h
ginsh/ginsh.h
ginsh/ginsh_lexer.ll