diff options
| author | Kathy Gray | 2016-07-20 16:03:40 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-07-20 16:03:54 +0100 |
| commit | 4a1e5a3df739abd747e47fb26f8a21228bd30c75 (patch) | |
| tree | bfaa2c7115ed50b4e777afd2a5f3f91e69d57d2d /src/pretty_print.ml | |
| parent | 0edd0cd209e163b5cb6af3e62a83aacd63c78fa3 (diff) | |
Make rewriter understand type abbreviations for removing internal_exp instances
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 2fbd81e2..4b1ac213 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -724,6 +724,7 @@ let doc_effect (BE_aux (e,_)) = | BE_eamem -> "eamem" | BE_barr -> "barr" | BE_depend -> "depend" + | BE_escape -> "escape" | BE_undef -> "undef" | BE_unspec -> "unspec" | BE_nondet -> "nondet") |