about summary refs log tree commit diff
path: root/src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2024-03-31 22:39:04 +0000
committerbors <bors@rust-lang.org>2024-03-31 22:39:04 +0000
commit66de6111960571ab7b030c205b6176801c7ecbfc (patch)
treed0cc9e679831823faeddbe748fbc4c15f9a1c828 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp
parent805813650248c1a2f6f271460d728d1bb852d2a7 (diff)
parent418535b798946b29c70a3ac4e33bbc6fbb4fb132 (diff)
downloadrust-66de6111960571ab7b030c205b6176801c7ecbfc.tar.gz
rust-66de6111960571ab7b030c205b6176801c7ecbfc.zip
Auto merge of #123270 - JaniM:janim/string-alloc-doc, r=workingjubilee
doc: mention heap allocation earlier in String docs

Just a tiny addition.

Helps with #123263.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions