diff --git a/src/testdir/test42.ok b/src/testdir/test42.ok
index 643b75bc9..82b7c633c 100644
Binary files a/src/testdir/test42.ok and b/src/testdir/test42.ok differ