Revert "Neues Default-Pragma: no_warn_empty_casts"
This reverts commit 2dff7c5c6ecf8d5515ba2745506b0a9a0ff63b29.
Es war nicht vorgesehen, das Pragma dauerhaft zu setzen.
diff --git a/secure/master/autoinclude.c b/secure/master/autoinclude.c
index d0eb48f..beaeba2 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,no_warn_empty_casts")
+#define DEFAULTS PRAGMA("save_types")
// geschachteltes Mapping in toplevel.region.magier Hierarchie.
// Wichtig: jede Hierarchiebene _muss_ ein Mapping sein, welches einen Eintrag