diff --git a/src/testdir/test42.ok b/src/testdir/test42.ok
index d9b44948a..183430d71 100644
Binary files a/src/testdir/test42.ok and b/src/testdir/test42.ok differ