Function c2rust_refactor::mark_adjust::rename_marks

pub fn rename_marks(st: &CommandState, old: Symbol, new: Symbol)

rename_marks Command

Usage: rename_marks OLD_MARK NEW_MARK

Marks: reads/clears OLD_MARK; sets NEW_MARK

For every node bearing OLD_MARK, remove OLD_MARK and apply NEW_MARK.