update copyright year range in GDB files

[deliverable/binutils-gdb.git] / sim / ppc / device.h

diff --git a/sim/ppc/device.h b/sim/ppc/device.h
index d7117916d4a0a40785edbf5e58c87a05dfe94db7..6fd198de70dd52a36e2df9a07495fe3665d9a19c 100644 (file)
--- a/sim/ppc/device.h
+++ b/sim/ppc/device.h
@@ -4,7 +4,7 @@
 
     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
-    the Free Software Foundation; either version 2 of the License, or
+    the Free Software Foundation; either version 3 of the License, or
     (at your option) any later version.
 
     This program is distributed in the hope that it will be useful,
@@ -13,8 +13,7 @@
     GNU General Public License for more details.
  
     You should have received a copy of the GNU General Public License
-    along with this program; if not, write to the Free Software
-    Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+    along with this program; if not, see <http://www.gnu.org/licenses/>.
  
     */
 
@@ -727,7 +726,7 @@ EXTERN_DEVICE\
    */
 
 EXTERN_DEVICE\
-(void volatile) device_error
+(void) device_error
 (device *me,
  const char *fmt,
  ...) __attribute__ ((format (printf, 2, 3)));