Dirty fix for #1920
authorBart Polot <bart@net.in.tum.de>
Mon, 21 Nov 2011 17:29:09 +0000 (17:29 +0000)
committerBart Polot <bart@net.in.tum.de>
Mon, 21 Nov 2011 17:29:09 +0000 (17:29 +0000)
commit58b1ecaf694629783305967564da203b6d76b3c9
tree5df330c6233821d09d8412763b02f16da9295d74
parentfe8e83319a8a352987082b9e1c115baf341dcd9b
Dirty fix for #1920
src/testing/testing.c