Thanks for the bug report, much appreciated! I pushed a fix.

It would be nice if these types could be properly checked by the type system
rather than essentially being documentation, but that's a big hassle in C++.

> 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.

Opening this as a bug on the tracker is perfect.

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