diff options
| author | Kathy Gray | 2016-02-09 14:27:03 +0000 |
|---|---|---|
| committer | Kathy Gray | 2016-02-09 14:27:03 +0000 |
| commit | 9982c33a97ef392bfc880f79717c14b8333034c3 (patch) | |
| tree | 0a5a71131c4be22b0f7a1862f23320454c080d3d | |
| parent | 90cf986cbf614476aef25d00079aa8c892397111 (diff) | |
fix scattered type union source printing
| -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) -> |