Skip to content
Snippets Groups Projects
Commit f4c97e82 authored by Loïc Correnson's avatar Loïc Correnson Committed by Virgile Prevosto
Browse files

[modules] fix ast printing

parent a2732f91
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/kernel_services/ast_printing/logic_print.ml
+ 1
− 2
View file @ f4c97e82
...@@ -88,8 +88,7 @@ let rec print_logic_type name fmt typ = ...@@ -88,8 +88,7 @@ let rec print_logic_type name fmt typ =
| LTenum s -> fprintf fmt "enum@ %s%t" s pname | LTenum s -> fprintf fmt "enum@ %s%t" s pname
| LTstruct s -> fprintf fmt "struct@ %s%t" s pname | LTstruct s -> fprintf fmt "struct@ %s%t" s pname
| LTnamed (s,l) -> | LTnamed (s,l) ->
fprintf fmt "%a%a%t" fprintf fmt "%s%a%t" s
print_qid s
(pp_list ~pre:"<@[" ~sep:",@ " ~suf:"@]>" (pp_list ~pre:"<@[" ~sep:",@ " ~suf:"@]>"
(print_logic_type None)) l (print_logic_type None)) l
pname pname
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment