diff options
| -rw-r--r-- | src/pretty_print.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 8b4feda9..2a93bef7 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -1189,7 +1189,7 @@ let doc_scattered (SD_aux (sdef, _)) = match sdef with | SD_scattered_variant (id, ns, tq) -> doc_op equals (string "scattered typedef" ^^ space ^^ doc_id id ^^ doc_namescm ns) - (doc_typquant tq empty) + (string "const union" ^^ space ^^ (doc_typquant tq empty)) | SD_scattered_funcl funcl -> string "function clause" ^^ space ^^ doc_funcl funcl | SD_scattered_unioncl (id, tu) -> |