extern void ada_print_typedef (struct type *type, struct symbol *new_symbol,
struct ui_file *stream);
-extern void ada_val_print (struct type *, int, CORE_ADDR,
- struct ui_file *, int,
- struct value *,
- const struct value_print_options *);
+/* Implement la_value_print_inner for Ada. */
+
+extern void ada_value_print_inner (struct value *, struct ui_file *, int,
+ const struct value_print_options *);
extern void ada_value_print (struct value *, struct ui_file *,
const struct value_print_options *);