Changed vector-length-setting formula to guarantee monotonically decreasing vector lengths.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/v.tex b/src/v.tex
index e794697..bac0301 100644
--- a/src/v.tex
+++ b/src/v.tex
@@ -861,7 +861,7 @@ whereas it is now encoded as a separate new instruction.
     AVL Value & {\tt vl} setting \\
     \hline
     AVL $\geq$ 2\,MVL & MVL \\
-    2\,MVL $>$ AVL $>$ MVL & $\lfloor$AVL$/2\rfloor$ \\
+    2\,MVL $>$ AVL $>$ MVL & $\lceil$AVL$/2\rceil$ \\
     MVL $\geq$ AVL & AVL \\
     \hline
   \end{tabular}