comparison mx.sh @ 6440:a0193f6d855c

MembarNode does not need state and has no side effects, so it needs not be a StateSplit
author Christian Wimmer <christian.wimmer@oracle.com>
date Tue, 25 Sep 2012 09:21:52 -0700
parents 9a4f210abb5e
children
comparison
equal deleted inserted replaced
6439:0c999cf286d1 6440:a0193f6d855c