Commit 7ec48a029c4ab1924d907eb16a78fed4ad57761e

Thomas de Grivel 2024-08-10T19:11:54

update test/ikc3 for pretty printer