diff --git a/tests/webtbs/tw3939.pp b/tests/webtbs/tw3939.pp
index 9d140f5a0f..88fb5fff2d 100644
--- a/tests/webtbs/tw3939.pp
+++ b/tests/webtbs/tw3939.pp
@@ -1,6 +1,6 @@
-{$warn+}
+{$warn symbol_platform on}
 {$warnings-}
-{$warn-}
+{$warn symbol_platform off}
 {$warnings+}
 begin
 end.