# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1541119983 -3600
# Node ID eead7673f749f313489dfe8aed622be1f9920846
# Parent  ed3e5067744d6446de8da763570b4709b08f3689
Removed unnecessary include.

diff -r ed3e5067744d -r eead7673f749 examples/vga/main.h
--- a/examples/vga/main.h	Thu Nov 01 23:24:58 2018 +0100
+++ b/examples/vga/main.h	Fri Nov 02 01:53:03 2018 +0100
@@ -20,8 +20,6 @@
 #ifndef __MAIN_H__
 #define __MAIN_H__
 
-#include "vga_display.h"
-
 /* Peripheral pin configuration. */
 
 void config_oc(void);