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

---
 src/stdlib/print.h | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'src/stdlib/print.h')

diff --git a/src/stdlib/print.h b/src/stdlib/print.h
index ce20152b..2dbe8373 100644
--- a/src/stdlib/print.h
+++ b/src/stdlib/print.h
@@ -96,9 +96,9 @@ PRINT_FN _print_repeated_char(FILE *f, repeated_char_t repeated) {
     return len;
 }
 
-extern int Text$print(FILE *stream, Text_t text);
-extern int Path$print(FILE *stream, Path_t path);
-extern int Int$print(FILE *f, Int_t i);
+extern int Textヽprint(FILE *stream, Text_t text);
+extern int Pathヽprint(FILE *stream, Path_t path);
+extern int Intヽprint(FILE *f, Int_t i);
 #ifndef _fprint1
 #define _fprint1(f, x) _Generic((x), \
     char*: _print_str, \
@@ -121,9 +121,9 @@ extern int Int$print(FILE *f, Int_t i);
     quoted_t: _print_quoted, \
     string_slice_t: _print_string_slice, \
     repeated_char_t: _print_repeated_char, \
-    Text_t: Text$print, \
-    Path_t: Path$print, \
-    Int_t: Int$print, \
+    Text_t: Textヽprint, \
+    Path_t: Pathヽprint, \
+    Int_t: Intヽprint, \
     void*: _print_pointer)(f, x)
 #endif
 
-- 
cgit v1.2.3