diff --git a/src/devices/vga.c b/src/devices/vga.c
index f421b617bd3706858d2536eb21866531b1fd9b85..7353c546a2e02055dfc8d99ec4164cb04d03a5ff 100644
--- a/src/devices/vga.c
+++ b/src/devices/vga.c
@@ -8,6 +8,7 @@
 #include "threads/interrupt.h"
 #include "threads/vaddr.h"
 
+
 /* VGA text screen support.  See [FREEVGA] for more information. */
 
 /* Number of columns and rows on the text display. */