diff options
| author | Kathy Gray | 2015-05-13 17:55:15 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-05-13 17:55:26 +0100 |
| commit | b0fc4a976b4d34d71c041ebe479a522c0aa15588 (patch) | |
| tree | eaac0b4a7e6ab9366ba308acacfd4bdf872194d7 /src/pretty_print.ml | |
| parent | 5c2831b32692fbe7a933e7a2b00fe06b9ae0b03c (diff) | |
Add dynamic footprint dependency check event/outcome
Also fix type checker bug in not reporting modifications to parameter values
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 9d9ed8a0..359335d3 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -143,6 +143,7 @@ and pp_format_base_effect_lem (BE_aux(e,l)) = | BE_rmem -> "BE_rmem" | BE_wmem -> "BE_wmem" | BE_barr -> "BE_barr" + | BE_depend -> "BE_depend" | BE_undef -> "BE_undef" | BE_unspec -> "BE_unspec" | BE_nondet -> "BE_nondet") ^ " " ^ @@ -641,6 +642,7 @@ let doc_effect (BE_aux (e,_)) = | BE_rmem -> "rmem" | BE_wmem -> "wmem" | BE_barr -> "barr" + | BE_depend -> "depend" | BE_undef -> "undef" | BE_unspec -> "unspec" | BE_nondet -> "nondet") |