From 3840ef97eca8dc2dacedcdb9366d85d10d18acaf Mon Sep 17 00:00:00 2001
From: Julie Schwartz <quark@bluespec.com>
Date: Mon, 2 Sep 2024 11:12:28 +1200
Subject: [PATCH] Libraries Guide: Fix proviso on truncate

---
 doc/libraries_ref_guide/LibDoc/Prelude.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/libraries_ref_guide/LibDoc/Prelude.tex b/doc/libraries_ref_guide/LibDoc/Prelude.tex
index 3b6abd87..52c1f2d1 100644
--- 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