diff options
Diffstat (limited to 'src/lem_interp/pretty_interp.ml')
| -rw-r--r-- | src/lem_interp/pretty_interp.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lem_interp/pretty_interp.ml b/src/lem_interp/pretty_interp.ml index ca4abe17..76f216ee 100644 --- a/src/lem_interp/pretty_interp.ml +++ b/src/lem_interp/pretty_interp.ml @@ -82,6 +82,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") |