/* Simulator Floating-point support.
- Copyright 1997, 1998, 2002, 2003, 2007, 2008, 2009, 2010
- Free Software Foundation, Inc.
+ Copyright 1997-2013 Free Software Foundation, Inc.
Contributed by Cygnus Support.
/* For debugging */
-typedef void sim_fpu_print_func (void *, char *, ...);
+typedef void sim_fpu_print_func (void *, const char *, ...);
/* Print a sim_fpu with full precision. */
INLINE_SIM_FPU (void) sim_fpu_print_fpu (const sim_fpu *f,