From f4c97e82e888cd3774151c4d96c0cd0181f5b7c1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 20 Aug 2024 11:28:48 +0200
Subject: [PATCH] [modules] fix ast printing
---
src/kernel_services/ast_printing/logic_print.ml | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/kernel_services/ast_printing/logic_print.ml b/src/kernel_services/ast_printing/logic_print.ml
index 0da54ea252..56636c8fb5 100644
--- a/src/kernel_services/ast_printing/logic_print.ml
+++ b/src/kernel_services/ast_printing/logic_print.ml
@@ -88,8 +88,7 @@ let rec print_logic_type name fmt typ =
| LTenum s -> fprintf fmt "enum@ %s%t" s pname
| LTstruct s -> fprintf fmt "struct@ %s%t" s pname
| LTnamed (s,l) ->
- fprintf fmt "%a%a%t"
- print_qid s
+ fprintf fmt "%s%a%t" s
(pp_list ~pre:"<@[" ~sep:",@ " ~suf:"@]>"
(print_logic_type None)) l
pname
--
GitLab