Skip to content

Commit

Permalink
Update specs/language/introduction.tex
Browse files Browse the repository at this point in the history
Co-authored-by: Damyan Pepper <[email protected]>
  • Loading branch information
llvm-beanz and damyanp authored Sep 19, 2024
1 parent 0040940 commit 1ce6657
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion specs/language/introduction.tex
Original file line number Diff line number Diff line change
Expand Up @@ -285,7 +285,7 @@
\p Each read or write to a memory location is called a \textit{memory access}.
Operations that perform memory accesses are called \textit{memory operations}. A
memory operation may operate on one or more memory locations. A memory operation
must not alter memory at a location not contained in the memory location set it
must not alter memory at a location not contained in the set of memory locations it
is operating on\footnote{Two subtle notes here: (1) A bit-field's memory location
includes adjacent bit-fields, so reads and writes to bit-fields are expected to
read and write adjacent memory if they're within the same set of locations, (2)
Expand Down

0 comments on commit 1ce6657

Please sign in to comment.