[patch v9 14/23] record-full.c: rename record_ in record_full_.

[Jan Kratochvil]

On Mon, 04 Mar 2013 18:06:01 +0100, Markus Metzger wrote:
> Rename record_ prefixes in record-full.c into record_full_.
> 
> I ran the gdb.reverse suite on 64bit IA gnu/linux - no regressions.
> 
> Approved by Jan Kratochvil.
> 
> 2013-03-04  Markus Metzger  <markus.t.metzger@intel.com>
> 
> 	* record-full.c (DEFAULT_RECORD_INSN_MAX_NUM): Renamed to ...
[...]
> 	(_initialize_record_full): ... this. Updated all users.

OK.


Thanks,
Jan