Co-authored-by: Oli Scherer <github35764891676564198441@oli-obk.de>
This commit is contained in:
Ralf Jung 2021-07-30 22:34:35 +02:00
parent 14de6ec8d8
commit b7b5091378

View File

@ -404,7 +404,7 @@ pub enum UnsupportedOpInfo {
Unsupported(String),
/// Encountered a pointer where we needed raw bytes.
ReadPointerAsBytes,
/// Overwriting parts ofa pointer; the resulting state cannot be represented in our
/// Overwriting parts of a pointer; the resulting state cannot be represented in our
/// `Allocation` data structure.
PartialPointerOverwrite(Pointer<AllocId>),
//