id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
25	dprint does not terminate the segment being printed.	Eric Swenson	Eric Swenson	dprint initiates the segment to be printed to check to see if it is an object segment; it does not terminate it when done, leading to excessive cruft in the reference name table. -- Charles	defect	closed	major	MR12.6e	Tools	MR12.6d	fixed