diff options
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/spec.pdf | bin | 275421 -> 275420 bytes | |||
| -rw-r--r-- | spec/spec.tex | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/spec/spec.pdf b/spec/spec.pdf Binary files differindex e49441ad..d39d342d 100644 --- a/spec/spec.pdf +++ b/spec/spec.pdf diff --git a/spec/spec.tex b/spec/spec.tex index a8a40da4..361b435f 100644 --- a/spec/spec.tex +++ b/spec/spec.tex @@ -1249,7 +1249,7 @@ The add operation result is the sum of \vv{e1} and \vv{e2} without loss of preci {\ttfamily \begin{tabular}{ |c|c|c|c|c|c| } \opheader -sub & (e1,e2) & () & (UInt,UInt) & SInt & max(w\ts{e1},w\ts{e2})+1\\ +sub & (e1,e2) & () & (UInt,UInt) & UInt & max(w\ts{e1},w\ts{e2})+1\\ &&& (SInt,SInt) & SInt & max(w\ts{e1},w\ts{e2})+1\\ \hline \end{tabular} |