From 3c267a382abda4418521331d0a80e60f8e128fac Mon Sep 17 00:00:00 2001 From: Max Horn Date: Thu, 26 Jun 2025 22:47:37 +0200 Subject: [PATCH] kernel: use IS_PREC in PRINT_PATH --- src/objects.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/objects.c b/src/objects.c index 062c865469..d76f74d6bb 100644 --- a/src/objects.c +++ b/src/objects.c @@ -934,7 +934,7 @@ static void PrintInaccessibleObject(Obj obj) static void PRINT_PATH(Obj obj, Int idx) { UInt tnum = TNUM_OBJ(obj); - if (tnum == T_PREC || tnum == T_PREC + IMMUTABLE) { + if (IS_PREC(obj)) { Pr(".%I", (Int)NAME_RNAM(idx), 0); } else if (FIRST_LIST_TNUM <= tnum && tnum <= LAST_LIST_TNUM) {