Commit db35409f0db9faf91a10defc81e4d6d60dc7822a

Behdad Esfahbod 2018-11-05T23:11:46

[ot-layout] Remove ensures