Libraries Guide: Fix proviso on truncate

B-Lang-org · Sep 1, 2024 · 3840ef9 · 3840ef9
1 parent b4f31db
commit 3840ef9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/libraries_ref_guide/LibDoc/Prelude.tex b/doc/libraries_ref_guide/LibDoc/Prelude.tex
@@ -1298,7 +1298,7 @@ \subsubsection{BitExtend}
 \cline{2-2}
 &\begin{libverbatim}
 function x#(m) truncate (x#(n) d)
-   provisos (Add#(k, n, m));
+   provisos (Add#(k, m, n));
 \end{libverbatim}
 \\
 \hline