* record.c (init_record_core_ops): Rename record_core to record-core.
authorDoug Evans <dje@google.com>
Sun, 9 May 2010 20:04:52 +0000 (20:04 +0000)
committerDoug Evans <dje@google.com>
Sun, 9 May 2010 20:04:52 +0000 (20:04 +0000)
commit06280d23c6b024063de536d36c3ececa735fa863
tree5c7d9dcf6a16c063dd6a83f22f2c45549d1efdf5
parentf324cecf67cf155bdf9788c5b594e08e23118770
* record.c (init_record_core_ops): Rename record_core to record-core.
gdb/ChangeLog
gdb/record.c