# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1541882391 -3600
# Node ID 04b9cb49f0ac15320133e01b59c29d59af2a82b5
# Parent  6934a0847aed083294463c715537a47863e6bf7a
Fixed parameter name.

diff -r 6934a0847aed -r 04b9cb49f0ac include/vga_display.h
--- a/include/vga_display.h	Sat Nov 10 21:30:09 2018 +0100
+++ b/include/vga_display.h	Sat Nov 10 21:39:51 2018 +0100
@@ -69,7 +69,7 @@
 /* Initialisation. */
 
 void init_vga(display_config_t *display_config, int line_channels,
-              int line_timer, int initiating_int_num);
+              int line_timer, int transfer_int_num);
 
 void init_vga_with_timers(display_config_t *display_config, int line_channels,
                           int line_timer, int transfer_timer);