/* params.h - Run-time parameters.
- Copyright (C) 2001 Free Software Foundation, Inc.
+ Copyright (C) 2001, 2003 Free Software Foundation, Inc.
Written by Mark Mitchell <mark@codesourcery.com>.
This file is part of GCC.
/* Add the N PARAMS to the current list of compiler parameters. */
-extern void add_params
- PARAMS ((const param_info params[], size_t n));
+extern void add_params (const param_info params[], size_t n);
/* Set the VALUE associated with the parameter given by NAME. */
-extern void set_param_value
- PARAMS ((const char *name, int value));
+extern void set_param_value (const char *name, int value);
\f
/* The parameters in use by language-independent code. */