1.1 --- a/src/drivers/video_gtk.c	Wed Oct 31 09:10:23 2007 +0000
     1.2 +++ b/src/drivers/video_gtk.c	Wed Oct 31 12:05:23 2007 +0000
     1.3 @@ -1,5 +1,5 @@
     1.4  /**
     1.5 - * $Id: video_gtk.c,v 1.17 2007-10-31 09:10:23 nkeynes Exp $
     1.6 + * $Id: video_gtk.c,v 1.18 2007-10-31 12:05:23 nkeynes Exp $
     1.7   *
     1.8   * The PC side of the video support (responsible for actually displaying / 
     1.9   * rendering frames)
    1.10 @@ -23,6 +23,7 @@
    1.11  #include "dream.h"
    1.12  #include "display.h"
    1.13  #include "drivers/video_x11.h"
    1.14 +#include "drivers/gl_common.h"
    1.15  #include "gui/gtkui.h"
    1.16  
    1.17  static GtkWidget *video_win = NULL;