Hi guys,
no idea where to put this. I made it a bug mostly because I think it can be
resolved very quickly, so will not linger around for long. So here we go:
The "reached_by" member of the Proposition struct in relaxation_heuristic.h
should have type OpID, but in fact is a PropID. Since both are ints, nothing bad
happens; it just confused me somewhat.
Cheers
Daniel
|