From 14989ed07f8d3f4aab5d5824580684104903efc2 Mon Sep 17 00:00:00 2001
From: kwxm <kenneth.mackenzie@iohk.io>
Date: Wed, 17 Apr 2024 14:58:04 +0100
Subject: [PATCH] Rearrange some cases

---
 doc/plutus-core-spec/cardano/builtins4.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/plutus-core-spec/cardano/builtins4.tex b/doc/plutus-core-spec/cardano/builtins4.tex
index eeef20b07ba..d1984061a46 100644
--- a/doc/plutus-core-spec/cardano/builtins4.tex
+++ b/doc/plutus-core-spec/cardano/builtins4.tex
@@ -122,8 +122,8 @@ \subsubsection{Miscellaneous built-in functions}
   [a_{N-1}, \ldots, a_0] & \text{if $w=0$} \\
   [b_0, \ldots, b_{w-1}] &  \text{if $w > 0$ and $N\leq w$, where }
       b_i = \begin{cases}
-                a_{w-1-i} & \text{if $i \geq w-N$} \\
                 0   & \text{if $i \leq w-1-N$}\\
+                a_{w-1-i} & \text{if $i \geq w-N$} \\
             \end{cases}\\
   \errorX & \text{if $w > 0$ and $N > w$.}
 \end{cases}