Fixed another bug concerning copying an edge.
authorSebastian Buchwald <Sebastian.Buchwald@kit.edu>
Sat, 6 Dec 2008 19:27:48 +0000 (19:27 +0000)
committerSebastian Buchwald <Sebastian.Buchwald@kit.edu>
Sat, 6 Dec 2008 19:27:48 +0000 (19:27 +0000)
commitaf62a5a6153b41868533764b79a1f6158453537d
tree8c5b091dd0575f1c77e1068ade902a0d36e86f28
parent9e59aa8cee72471fedcf41c118304cb660fb5676
Fixed another bug concerning copying an edge.

[r24363]
bucket.c
pbqp_node.c
pbqp_node.h