From f4e38fd061a158ecb94881273c6db6e6a332f61d Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Sun, 17 Aug 2025 20:35:09 -0400
Subject: =?UTF-8?q?Switch=20from=20using=20dollar=20signs=20as=20namespace?=
 =?UTF-8?q?=20delimiters=20to=20using=20=E3=80=85,=20=E3=83=BD,=20and=20?=
 =?UTF-8?q?=E3=80=87.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 lib/random/random.tm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/random')

diff --git a/lib/random/random.tm b/lib/random/random.tm
index 107fad66..6e7240e7 100644
--- a/lib/random/random.tm
+++ b/lib/random/random.tm
@@ -216,7 +216,7 @@ struct RandomNumberGenerator(_chacha:chacha_ctx, _random_bytes:[Byte]=[]; secret
             mpz_urandomm(r, gmp_rng, range_size);
 
             gmp_randclear(gmp_rng);
-            Int$plus(@min, Int$from_mpz(r))
+            Intヽplus(@min, Intヽfrom_mpz(r))
         )
 
 
-- 
cgit v1.2.3