fixing missing include
Merge branch 'ClosedIntegerHalfPlane' into Feature