id	summary	reporter	owner	description	type	status	milestone	component	version	severity	resolution	keywords	cc
12031	binomial heap bug	Tob.Rupp@…	timblechmann	"The update function does not always work correctly, thus the heap validity is not guaruanteed.
The error is caused by an optimiziation inside the update function which relies on the correct setting of ""this_node->parent"", which is not given."	Bugs	closed	To Be Determined	heap	Boost 1.54.0	Problem	fixed