1 files changed, 2 insertions, 0 deletions
diff --git a/src/ast.ml b/src/ast.ml
index 5eb45554..7ed991ab 100644
--- a/src/ast.ml
+++ b/src/ast.ml
@@ -117,9 +117,11 @@ base_effect_aux =  (* effect *)
    BE_rreg (* read register *)
  | BE_wreg (* write register *)
  | BE_rmem (* read memory *)
+ | BE_rmemt (* read memory tagged *)
  | BE_wmem (* write memory *)
  | BE_eamem (* signal effective address for writing memory *)
  | BE_wmv (* write memory, sending only value *)
+ | BE_wmvt (* write memory, sending only value and tag *)
  | BE_barr (* memory barrier *)
  | BE_depend (* dynamic footprint *)
  | BE_undef (* undefined-instruction exception *)