diff options
Diffstat (limited to 'spec/spec.tex')
| -rw-r--r-- | spec/spec.tex | 2 |
1 files changed, 1 insertions, 1 deletions
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} |