From 188a60d6ac81f56b9a2be19c96309cd669628c07 Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Fri, 29 Mar 2002 16:30:49 +0000
Subject: missing standard headers included

---
 mixgtk/gmixvm.c        | 5 +++--
 mixgtk/mixgtk.c        | 3 ++-
 mixgtk/mixgtk_config.c | 6 ++++--
 mixgtk/mixgtk_device.c | 7 +++++--
 mixgtk/mixgtk_wm.c     | 6 ++++--
 5 files changed, 18 insertions(+), 9 deletions(-)

(limited to 'mixgtk')

diff --git a/mixgtk/gmixvm.c b/mixgtk/gmixvm.c
index 91b03f3..75b2f88 100644
--- a/mixgtk/gmixvm.c
+++ b/mixgtk/gmixvm.c
@@ -1,9 +1,9 @@
 /* -*-c-*- -------------- gmixvm.c :
  * Main function of the mix gtk front-end
  * ------------------------------------------------------------------
- *  $Id: gmixvm.c,v 1.3 2001/09/28 23:10:45 jao Exp $
+ *  $Id: gmixvm.c,v 1.4 2002/03/29 16:30:49 jao Exp $
  * ------------------------------------------------------------------
- * Copyright (C) 2001 Free Software Foundation, Inc.
+ * Copyright (C) 2001, 2002 Free Software Foundation, Inc.
  *  
  * This program is free software; you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by
@@ -21,6 +21,7 @@
  *  
  */
 
+#include <stdio.h>
 #include <stdlib.h>
 #include "mixgtk.h"
 
diff --git a/mixgtk/mixgtk.c b/mixgtk/mixgtk.c
index 9c18703..760008e 100644
--- a/mixgtk/mixgtk.c
+++ b/mixgtk/mixgtk.c
@@ -3,7 +3,7 @@
  * ------------------------------------------------------------------
  *  Last change: Time-stamp: "2001-05-20 18:03:05 jao"
  * ------------------------------------------------------------------
- * Copyright (C) 2001 Free Software Foundation, Inc.
+ * Copyright (C) 2001, 2002 Free Software Foundation, Inc.
  *  
  * This program is free software; you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by
@@ -22,6 +22,7 @@
  */
 
 #include <stdio.h>
+#include <string.h>
 
 #include "mixgtk_widgets.h"
 #include "mixgtk_cmd_dispatcher.h"
diff --git a/mixgtk/mixgtk_config.c b/mixgtk/mixgtk_config.c
index 0dad33e..ccd1216 100644
--- a/mixgtk/mixgtk_config.c
+++ b/mixgtk/mixgtk_config.c
@@ -1,9 +1,9 @@
 /* -*-c-*- -------------- mixgtk_config.c :
  * Implementation of the functions declared in mixgtk_config.h
  * ------------------------------------------------------------------
- *  $Id: mixgtk_config.c,v 1.7 2001/09/18 22:50:30 jao Exp $
+ *  $Id: mixgtk_config.c,v 1.8 2002/03/29 16:30:49 jao Exp $
  * ------------------------------------------------------------------
- * Copyright (C) 2001 Free Software Foundation, Inc.
+ * Copyright (C) 2001, 2002 Free Software Foundation, Inc.
  *  
  * This program is free software; you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by
@@ -23,6 +23,8 @@
 
 #include <stdlib.h>
 #include <stdio.h>
+#include <string.h>
+
 #include <sys/types.h>
 #include <sys/stat.h>
 #include <errno.h>
diff --git a/mixgtk/mixgtk_device.c b/mixgtk/mixgtk_device.c
index 0b99574..b3d3b06 100644
--- a/mixgtk/mixgtk_device.c
+++ b/mixgtk/mixgtk_device.c
@@ -1,9 +1,9 @@
 /* -*-c-*- ---------------- mixgtk_device.c :
  * actual types for mixgtk devices
  * ------------------------------------------------------------------
- *  Last change: Time-stamp: <2001-05-10 23:42:26 jao>
+ * $Id: mixgtk_device.c,v 1.17 2002/03/29 16:30:49 jao Exp $
  * ------------------------------------------------------------------
- * Copyright (C) 2001 Free Software Foundation, Inc.
+ * Copyright (C) 2001, 2002 Free Software Foundation, Inc.
  *  
  * This program is free software; you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by
@@ -24,8 +24,11 @@
 
 #include <stdio.h>
 #include <stdlib.h>
+#include <string.h>
+
 #include <mixlib/mix_vm_command.h>
 #include <mixlib/xmix_device.h>
+
 #include "mixgtk.h"
 #include "mixgtk_gen_handlers.h"
 #include "mixgtk_widgets.h"
diff --git a/mixgtk/mixgtk_wm.c b/mixgtk/mixgtk_wm.c
index 9f227c5..9a7e2ef 100644
--- a/mixgtk/mixgtk_wm.c
+++ b/mixgtk/mixgtk_wm.c
@@ -1,9 +1,9 @@
 /* -*-c-*- -------------- mixgtk_wm.c :
  * Implementation of the functions declared in mixgtk_wm.h
  * ------------------------------------------------------------------
- *  Last change: Time-stamp: "2001-06-24 14:36:18 jao"
+ * $Id: mixgtk_wm.c,v 1.6 2002/03/29 16:30:49 jao Exp $
  * ------------------------------------------------------------------
- * Copyright (C) 2001 Free Software Foundation, Inc.
+ * Copyright (C) 2001, 2002 Free Software Foundation, Inc.
  *  
  * This program is free software; you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by
@@ -21,6 +21,8 @@
  *  
  */
 
+#include <string.h>
+
 #include "mixgtk_widgets.h"
 #include "mixgtk_config.h"
 #include "mixgtk_wm.h"
-- 
cgit v1.2.3