diff options
| author | Kathy Gray | 2015-11-24 19:05:10 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-11-24 19:05:10 +0000 |
| commit | 4c459ece7d01288d5529862e116fd75db9c1afd9 (patch) | |
| tree | 3ac2c7ca83274b666ba61d5c78633bd486105d1d /src/pretty_print.ml | |
| parent | 10321a2cf266b57dfa5ebe3606d24ac3d6bc7d74 (diff) | |
Add BE_escape effect when an E_exit is seen
Close #20
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 6b1b364a..2108c62f 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -149,7 +149,8 @@ and pp_format_base_effect_lem (BE_aux(e,l)) = | BE_undef -> "BE_undef" | BE_unspec -> "BE_unspec" | BE_nondet -> "BE_nondet" - | BE_lset -> "BE_lset") ^ " " ^ + | BE_lset -> "BE_lset" + | BE_escape -> "BE_escape") ^ " " ^ (pp_format_l_lem l) ^ ")" and pp_format_effects_lem (Effect_aux(e,l)) = "(Effect_aux " ^ |