diff options
| author | Kathy Gray | 2014-06-30 17:37:45 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-06-30 17:37:45 +0100 |
| commit | 62d1ba743332e4a6a71e4579fbf8900a455a69a8 (patch) | |
| tree | 34e7416a65bbc74e6e6ba33cb9a7e6844d8bd917 /src/pretty_print.ml | |
| parent | b1204563ae0ec15a3ea824874fdc893451255d6e (diff) | |
Support for nondeterministic blocks
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 0544c573..deb4d4bf 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -798,7 +798,9 @@ let doc_exp, doc_let = | E_block exps -> let exps_doc = separate_map (semi ^^ hardline) exp exps in surround 2 1 lbrace exps_doc rbrace -(* XXX Need to add E_nondet, not sure how to put the nondet in front of the block *) + | E_nondet exps -> + let exps_doc = separate_map (semi ^^ hardline) exp exps in + string "nondet" ^^ space ^^ (surround 2 1 lbrace exps_doc rbrace) | E_id id -> doc_id id | E_lit lit -> doc_lit lit | E_cast(typ,e) -> prefix 2 1 (parens (doc_typ typ)) (group (atomic_exp e)) |