On Fri, Feb 6, 2015 at 2:54 AM, Yasuo Ohgaki <[email protected]> wrote:

> __invariant()


Oops

__invariant_before_foo()
__invariant_after_foo()

There are other bad english. I should spend more time to check. Sorry.

--
Yasuo Ohgaki
[email protected]

Reply via email to