diff options
-rw-r--r-- | Build/source/texk/xdvik/ChangeLog | 4 | ||||
-rw-r--r-- | Build/source/texk/xdvik/gui/xlwradioP.h | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/Build/source/texk/xdvik/ChangeLog b/Build/source/texk/xdvik/ChangeLog index f8bfeca3609..33849b80a20 100644 --- a/Build/source/texk/xdvik/ChangeLog +++ b/Build/source/texk/xdvik/ChangeLog @@ -1,3 +1,7 @@ +2013-06-28 Peter Breitenlohner <peb@mppmu.mpg.de> + + * xlwradioP.h: May need to #include <X11/Xaw/XawInit.h>. + 2013-06-27 Peter Breitenlohner <peb@mppmu.mpg.de> Drop variables that are set but not used: diff --git a/Build/source/texk/xdvik/gui/xlwradioP.h b/Build/source/texk/xdvik/gui/xlwradioP.h index 5ce6f654d7f..0cc72f1976b 100644 --- a/Build/source/texk/xdvik/gui/xlwradioP.h +++ b/Build/source/texk/xdvik/gui/xlwradioP.h @@ -51,6 +51,7 @@ Boston, MA 02111-1307, USA. */ #include <X11/Xaw/AsciiText.h> #include <X11/Xaw/ToggleP.h> +#include <X11/Xaw/XawInit.h> /*********************************************************************** * |