unnoetigen Cast entfernt

Change-Id: I95ef67c83e7b7fb18be3be397026f92c0df96705
diff --git a/std/player/life.c b/std/player/life.c
index 73f1ff7..7b0facc 100644
--- a/std/player/life.c
+++ b/std/player/life.c
@@ -259,7 +259,7 @@
                           sprintf( "%s %s(%d/%d) toetete %s(%d/%d)%s\n",
                                    ctime(time()),
                                    getuid(enemy), query_wiz_level(enemy),
-                                   (int) enemy->QueryProp(P_LEVEL), getuid(ME),
+                                   enemy->QueryProp(P_LEVEL), getuid(ME),
                                    query_wiz_level(ME), QueryProp(P_LEVEL),
                                    (hit_point ? " NOTWEHR=>KEIN PK" : "") ) );
             }