diff options
Diffstat (limited to 'chapters/background.tex')
-rw-r--r-- | chapters/background.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapters/background.tex b/chapters/background.tex index 7f8539c..d4ec91f 100644 --- a/chapters/background.tex +++ b/chapters/background.tex @@ -303,7 +303,7 @@ assuming that $\sigma$ is dominated by $d$ ($p \le_{d} d$), then the following e \stopformula This is an important lemma as it essentially allows one to know the value of a register as long as -one knows that it's assignment dominates the current node and one knows what expressions it was +one knows that its assignment dominates the current node and one knows what expressions it was assigned. \subsection{HLS Formalised in Isabelle} |