fix printer

dfinity · Dec 20, 2024 · a73956d · a73956d
1 parent c8b6798
commit a73956d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/mo_types/type.ml b/src/mo_types/type.ml
@@ -1792,7 +1792,7 @@ and pp_stab_sig ppf sig_ =
        (string_of_obj_sort Actor)
        (pp_print_list ~pp_sep:semi (pp_stab_field vs)) tfs
     | PrePost (pre, post) ->
-      fprintf ppf "@[<v 2>%s({@;<0 0>%a@;<0 -2>}, {@;<0 0>%a@;<0 -2>} @]"
+      fprintf ppf "@[<v 2>%s({@;<0 0>%a@;<0 -2>}, {@;<0 0>%a@;<0 -2>}) @]"
        (string_of_obj_sort Actor)
        (pp_print_list ~pp_sep:semi (pp_stab_field vs)) pre
        (pp_print_list ~pp_sep:semi (pp_stab_field vs)) post