tree 2ca2696c9f89b1ca7b729e591e51516d677af3e0
parent 03225a834a0dd72d96afd20c6d8188450dd08726
author bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1229880022 +0000
committer bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1229880022 +0000

Fixed bug in vector clock updating for semaphores with non-zero initial value.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8854 a5019735-40e9-0310-863c-91ae7b9d1cf9