commit fddec1a8fc2e32052710cc3d68c2f8a3783e83e7
author Zesstra <zesstra@zesstra.de> Thu Mar 05 19:51:44 2020 +0100
committer MG Mud User <mud@mg.mud.de> Thu Mar 05 19:51:44 2020 +0100
tree 75ac2297c7d5bb230e845d7705ffe65879511b28
parent e560787fac0ad0952999736c2a01bdeb9de8d25a
parent 2f15c56fa1d0b3cf8e40790ead622af5d5e9b251

Merge branch 'master' of ssh://mgg/mudlib-public

secure/master/autoinclude.c

diff --git a/secure/master/autoinclude.c b/secure/master/autoinclude.c
index 691e251..098c871 100644
--- a/secure/master/autoinclude.c
+++ b/secure/master/autoinclude.c
@@ -9,7 +9,7 @@
 // fuer alte Homemuds...
 #if __VERSION__ >= "3.5.0"
 #define RTTCHECKS PRAGMA("rtt_checks")
-#define DEFAULTS PRAGMA("save_types, no_warn_empty_casts")
+#define DEFAULTS PRAGMA("save_types")
 #else
 #define RTTCHECKS ""
 #define DEFAULTS PRAGMA("combine_strings, verbose_errors, warn_deprecated")