diff options
Diffstat (limited to 'rts/FrontPanel.c')
| -rw-r--r-- | rts/FrontPanel.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/FrontPanel.c b/rts/FrontPanel.c index d6269fb5b3..b0b9bced4a 100644 --- a/rts/FrontPanel.c +++ b/rts/FrontPanel.c @@ -296,7 +296,7 @@ numLabel( GtkWidget *lbl, nat n ) } void -updateFrontPanelAfterGC( nat N, lnat live ) +updateFrontPanelAfterGC( nat N, W_ live ) { char buf[1000]; |