diff options
Diffstat (limited to 'console-client/vga.c')
| -rw-r--r-- | console-client/vga.c | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/console-client/vga.c b/console-client/vga.c index 9d751a7f..e954013d 100644 --- a/console-client/vga.c +++ b/console-client/vga.c @@ -385,14 +385,10 @@ vga_display_fini (void *handle, int force) free (disp); dynacolor_fini (); vga_fini (); - if (vga_display_font) - free (vga_display_font); - if (vga_display_font_italic) - free (vga_display_font_italic); - if (vga_display_font_bold) - free (vga_display_font_bold); - if (vga_display_font_bold_italic) - free (vga_display_font_bold_italic); + free (vga_display_font); + free (vga_display_font_italic); + free (vga_display_font_bold); + free (vga_display_font_bold_italic); return 0; } |