diff options
Diffstat (limited to 'language/manual.tex')
| -rw-r--r-- | language/manual.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/manual.tex b/language/manual.tex index 2052ea0e..69fd8e8b 100644 --- a/language/manual.tex +++ b/language/manual.tex @@ -89,7 +89,7 @@ any type. However, the Sail executable interpreter expects that it is simulating a uni-processor machine where all registers are bit vectors. -A vector of length one, such as \emph{a} can read the element of a \emph{a} +A vector of length one, such as \emph{a} can read the element of \emph{a} either with {\tt a} or {\tt a[0]}. \item Have functions named decode and execute to evaluate |