From f3944a3d49aa5ef2f07fc0ec7fa976e79370dd81 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sun, 6 Jul 2025 10:30:29 +0200
Subject: [PATCH] chore: fix test

---
 tests/lean/run/printStructure.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/lean/run/printStructure.lean b/tests/lean/run/printStructure.lean
index 9953c44b96..325bbe2d40 100644
--- a/tests/lean/run/printStructure.lean
+++ b/tests/lean/run/printStructure.lean
@@ -34,7 +34,7 @@ number of parameters: 0
 fields:
   private IO.CancelToken.ref✝ : IO.Ref Bool
 constructor:
-  IO.CancelToken.mk (ref : IO.Ref Bool) : IO.CancelToken
+  private IO.CancelToken.mk✝ (ref : IO.Ref Bool) : IO.CancelToken
 -/
 #guard_msgs in
 #print IO.CancelToken