Diverse kaputte Casts repariert.
Unwirksame und ueberfluessige Casts entfernt,
etwas Code-Cleanup.
Change-Id: I92f01e6391c432cd0881a5faac580f6d0b40c323
diff --git a/std/util/pager.c b/std/util/pager.c
index 54980c3..f3219fa 100644
--- a/std/util/pager.c
+++ b/std/util/pager.c
@@ -4,7 +4,7 @@
//
// $Id: pager.c 8755 2014-04-26 13:13:40Z Zesstra $
-#pragma strong_types
+#pragma strict_types
#pragma save_types
#pragma range_check
#pragma no_clone
@@ -124,9 +124,9 @@
pinfo[MAXL] += sizeof(explode(tmp, "\n"))+1;
pinfo[PAGE] = PAGELENGTH;
if(!pinfo[PAGE]) pinfo[FLAG] |= E_CAT;
- if ((this_interactive() && (j=(int)this_interactive()->QueryProp(P_MORE_FLAGS))) ||
+ if ((this_interactive() && (j=({int})this_interactive()->QueryProp(P_MORE_FLAGS))) ||
(this_player() && interactive(this_player()) &&
- (j=(int)this_player()->QueryProp(P_MORE_FLAGS))))
+ (j=({int})this_player()->QueryProp(P_MORE_FLAGS))))
pinfo[FLAG] |= j;
pinfo[CURL] = 1;