[move-prover] added reminder to change printing of changed instr
@@ -819,6 +819,7 @@ impl<'env> fmt::Display for OperationDisplay<'env> {
UnpackRefDeep => {
write!(f, "unpack_ref_deep")?;
}
+ //TODO: add edge info to write back display
WriteBack(node, _) => write!(f, "write_back[{}]", node.display(self.func_target))?,
Splice(map) => write!(
f,
