Neues Default-Pragma: no_warn_empty_casts

Change-Id: Ie19fd290240e0b602a8e38c0b0d19c687b102385
diff --git a/secure/master/autoinclude.c b/secure/master/autoinclude.c
index beaeba2..d0eb48f 100644
--- a/secure/master/autoinclude.c
+++ b/secure/master/autoinclude.c
@@ -7,7 +7,7 @@
 #define PRAGMA(x) "#pragma "x"\n"
 
 #define RTTCHECKS PRAGMA("rtt_checks")
-#define DEFAULTS PRAGMA("save_types")
+#define DEFAULTS PRAGMA("save_types,no_warn_empty_casts")
 
 // geschachteltes Mapping in toplevel.region.magier Hierarchie.
 // Wichtig: jede Hierarchiebene _muss_ ein Mapping sein, welches einen Eintrag