execution: document additional mo_may_allow() optimization
authorBrian Norris <banorris@uci.edu>
Thu, 6 Jun 2013 00:14:32 +0000 (17:14 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 6 Jun 2013 00:14:32 +0000 (17:14 -0700)
commit1f817417cb820f356fb2afa7ac9e18d7ef054198
treea212107882ddfd8bbbd89b2ad36294ad44cb907f
parentc3240e7376fc80855529257647bd010a2cce7d6f
execution: document additional mo_may_allow() optimization

mo_may_allow() actually performs two optimizations, not just the one
that is documented in its header.
execution.cc