[][src]Function c2rust_refactor::mark_adjust::delete_marks

pub fn delete_marks(st: &CommandState, old: Symbol)

delete_marks Command

Usage: delete_marks MARK

Marks: clears MARK

Remove MARK from every node where it appears.