Additional fix for #1920
authorBart Polot <bart@net.in.tum.de>
Mon, 21 Nov 2011 17:46:52 +0000 (17:46 +0000)
committerBart Polot <bart@net.in.tum.de>
Mon, 21 Nov 2011 17:46:52 +0000 (17:46 +0000)
commitd3871e80fec5e7fcd5ff7cc7ff64284bb7051b38
treec04753247da5e98cf9a1155dfeb9c81643a25333
parent58b1ecaf694629783305967564da203b6d76b3c9
Additional fix for #1920
src/testing/testing.c