diff options
Diffstat (limited to 'mps/code/testlib.h')
| -rw-r--r-- | mps/code/testlib.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mps/code/testlib.h b/mps/code/testlib.h index e3a11c34139..cc4bcce8006 100644 --- a/mps/code/testlib.h +++ b/mps/code/testlib.h | |||
| @@ -1,7 +1,7 @@ | |||
| 1 | /* testlib.h: TEST LIBRARY INTERFACE | 1 | /* testlib.h: TEST LIBRARY INTERFACE |
| 2 | * | 2 | * |
| 3 | * $Id$ | 3 | * $Id$ |
| 4 | * Copyright (c) 2001 Ravenbrook Limited. See end of file for license. | 4 | * Copyright (c) 2001-2013 Ravenbrook Limited. See end of file for license. |
| 5 | * Portions copyright (C) 2002 Global Graphics Software. | 5 | * Portions copyright (C) 2002 Global Graphics Software. |
| 6 | * | 6 | * |
| 7 | * .purpose: A library of functions that may be of use to unit tests. | 7 | * .purpose: A library of functions that may be of use to unit tests. |
| @@ -212,7 +212,7 @@ extern mps_addr_t rnd_addr(void); | |||
| 212 | * line argument) and initializes the generator to the same state. | 212 | * line argument) and initializes the generator to the same state. |
| 213 | */ | 213 | */ |
| 214 | 214 | ||
| 215 | extern void randomize(int argc, char **argv); | 215 | extern void randomize(int argc, char *argv[]); |
| 216 | 216 | ||
| 217 | 217 | ||
| 218 | #endif /* testlib_h */ | 218 | #endif /* testlib_h */ |