fixed

commit 1e35ce96de54ef1980f87a5318eef3c2be9227de
parent d673f52b32549c0ad3f4e094b9b5fabdd974caf1
Author: Jared Tobin <jared@jtobin.io>
Date:   Fri, 19 Dec 2025 12:18:27 -0330

etc: add missing limbs to generate_inv

Diffstat:
M
etc/generate_inv.sh
 | 
10
+++++-----

1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/etc/generate_inv.sh b/etc/generate_inv.sh
@@ -40,14 +40,14 @@ fi
 
 echo "-- generated by etc/generate_inv.sh"
 echo "inv#"
-echo "  :: (# Word#, Word#, Word#, Word# #)"
-echo "  -> (# Word#, Word#, Word#, Word# #)"
+echo "  :: (# Limb, Limb, Limb, Limb #)"
+echo "  -> (# Limb, Limb, Limb, Limb #)"
 echo "inv# a ="
 if [[ $target == "curve" ]]; then
-  echo "  let !t0 = (# 0x1000003D1##, 0##, 0##, 0## #)"
+  echo "  let !t0 = (# Limb 0x1000003D1##, Limb 0##, Limb 0##, Limb 0## #)"
 elif [[ $target == "scalar" ]]; then
-  echo "  let !t0 = (# 0x402DA1732FC9BEBF##, 0x4551231950B75FC4##"
-  echo "            ,  0x0000000000000001##, 0x0000000000000000## #)"
+  echo "  let !t0 = (# Limb 0x402DA1732FC9BEBF##, Limb 0x4551231950B75FC4##"
+  echo "            ,  Limb 0x0000000000000001##, Limb 0x0000000000000000## #)"
 fi
 
 label=1