fixes compilation of henry1p2c, but needs !59 (merged) to be merged first.
I hope this works the way I think it should. Be sure to check if it really only is one commit that changes two lines.
fixes compilation of henry1p2c, but needs !59 (merged) to be merged first.
I hope this works the way I think it should. Be sure to check if it really only is one commit that changes two lines.