diff options
| -rw-r--r-- | src/devices/device.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/devices/device.c b/src/devices/device.c index 9753de81cb..92a4447a89 100644 --- a/src/devices/device.c +++ b/src/devices/device.c @@ -737,7 +737,7 @@ static void set_vga_bridge_bits(void) /* It isn't safe to enable all VGA cards. */ dev->command &= ~(PCI_COMMAND_MEMORY | PCI_COMMAND_IO); - }; + } if (!vga) vga = vga_onboard; |