diffblue
diff --git a/‎doc/architectural/function-contracts-dynamic-frames.md renamed to ‎src/goto-instrument/contracts/doc/architectural/function-contracts-dynamic-frames.md b/‎doc/architectural/function-contracts-dynamic-frames.md renamed to ‎src/goto-instrument/contracts/doc/architectural/function-contracts-dynamic-frames.md