diff options
| author | Alasdair Armstrong | 2017-07-31 16:35:03 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-31 16:35:03 +0100 |
| commit | 78b837a3f09bee85dcf4131b6f11138ab8144a4d (patch) | |
| tree | 27dbbe941786927ccc6c09832a91fa4018eb1870 /src/pretty_print_sail.ml | |
| parent | ac345eba97164a3cfa4768d63e7fc4a62f68ffc4 (diff) | |
Fixed a bug in the pretty printer that caused ASL parser to output unparseable sail code
Diffstat (limited to 'src/pretty_print_sail.ml')
| -rw-r--r-- | src/pretty_print_sail.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print_sail.ml b/src/pretty_print_sail.ml index e3aeaa40..aff3a976 100644 --- a/src/pretty_print_sail.ml +++ b/src/pretty_print_sail.ml @@ -282,7 +282,7 @@ let doc_exp, doc_let = let cases = separate_map (break 1) doc_case pexps in surround 2 1 opening cases rbrace | E_sizeof n -> - separate space [string "sizeof"; doc_nexp n] + parens (separate space [string "sizeof"; doc_nexp n]) | E_constraint nc -> string "constraint" ^^ parens (doc_nexp_constraint nc) | E_exit e -> |