From d89823f0533a1db80fa38ca869da75acfcc1bd56 Mon Sep 17 00:00:00 2001 From: Chris Bieneman Date: Thu, 19 Sep 2024 18:26:53 -0500 Subject: [PATCH] Fix up the footnote based on feedback from @damyanp --- specs/language/introduction.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/specs/language/introduction.tex b/specs/language/introduction.tex index 2114fe4f..188d4e6e 100644 --- a/specs/language/introduction.tex +++ b/specs/language/introduction.tex @@ -285,8 +285,8 @@ 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) padding bits inside a structure are included in the memory location of the -structure. Reads and writes of uninitialized memory may be undefined, but a -write is allowed to stomp over padding.}. +structure. Reads and writes of uninitialized memory is undefined, but a write is +allowed to stomp over padding.}. \p Two sets of memory locations, \texttt{A} and \texttt{B}, are said to \textit{overlap} each other if some memory location in \texttt{A} is also in