pragma pedantic entfernt.
Zur Zeit gibt es einfach zuviele Cast-Warnungen, die
damit zu Fehlern werden.
Und wenn das behoben ist, koennen wir das Pragma via
Autoinclude letztendlich doch fuer alle Files wieder
setzen. Bis der Driver das naechste Mal wieder sowas
hat. ;-)
Change-Id: I73f4cb027cbd40417fd8ea0200295aa43a07e70e
diff --git a/std/util/pl_iterator.c b/std/util/pl_iterator.c
index 8c87baf..c2f4bd2 100644
--- a/std/util/pl_iterator.c
+++ b/std/util/pl_iterator.c
@@ -10,7 +10,7 @@
*/
#pragma strong_types, save_types, rtt_checks
#pragma no_clone, no_shadow
-#pragma pedantic, range_check
+#pragma range_check
#pragma warn_deprecated
private void check_all_player(mapping allplayer, closure check_cl,