Revision b6e04c852196ec93650296699db68476d14428cb

Committed on 19/06/2012 12:07 pm by Michael <[email protected]> [GitHub Diff]

prevent false detection of split points