-extern int pascal_val_print (struct type *, const gdb_byte *, int,
- CORE_ADDR, struct ui_file *, int,
- const struct value *,
- const struct value_print_options *);
+extern void pascal_val_print (struct type *, int,
+ CORE_ADDR, struct ui_file *, int,
+ struct value *,
+ const struct value_print_options *);