Fix bug in xml_tree::print (which would pop the printing stack one time
authorKim Nguyễn <kn@lri.fr>
Thu, 12 Apr 2012 14:31:05 +0000 (16:31 +0200)
committerKim Nguyễn <kn@lri.fr>
Thu, 12 Apr 2012 14:31:05 +0000 (16:31 +0200)
commit115c103a05a3143ccea9e6a725fc6ee3fa206061
tree10a2b994c9e7dcf29da679e77e82be4ffd515dbf
parent75bcbbef9da31c0e904f3df92022551afb4c571e
Fix bug in xml_tree::print (which would pop the printing stack one time
too many).
xml-tree.cpp
xml-tree.hpp