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)
too many).


No differences found