diff options
| author | Kathy Gray | 2016-07-25 13:57:48 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-07-25 13:57:48 +0100 |
| commit | e393e35b394b4d5def97f476818f63d0a7aa0cbc (patch) | |
| tree | 061f70bc513e3a2d2072c5065d1d6c4bd0adc55d /src/pretty_print.ml | |
| parent | c2694d69cc4b8fe2a956bf60fd9b9061ac775bc0 (diff) | |
auto coerce to bit vector from bit
pretty print lret effects into lem
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 24906734..6680ef60 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -151,6 +151,7 @@ and pp_format_base_effect_lem (BE_aux(e,l)) = | BE_unspec -> "BE_unspec" | BE_nondet -> "BE_nondet" | BE_lset -> "BE_lset" + | BE_lret -> "BE_lret" | BE_escape -> "BE_escape") ^ " " ^ (pp_format_l_lem l) ^ ")" and pp_format_effects_lem (Effect_aux(e,l)) = |