From b0fc4a976b4d34d71c041ebe479a522c0aa15588 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 13 May 2015 17:55:15 +0100
Subject: Add dynamic footprint dependency check event/outcome Also fix type
 checker bug in not reporting modifications to parameter values

---
 language/l2.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'language/l2.ml')

diff --git a/language/l2.ml b/language/l2.ml
index 2b5f04ce..6ce6a064 100644
--- a/language/l2.ml
+++ b/language/l2.ml
@@ -65,6 +65,7 @@ base_effect_aux =  (* effect *)
  | BE_rmem (* read memory *)
  | BE_wmem (* write memory *)
  | BE_barr (* memory barrier *)
+ | BE_depend (* dynamic footprint *)
  | BE_undef (* undefined-instruction exception *)
  | BE_unspec (* unspecified values *)
  | BE_nondet (* nondeterminism from intra-instruction parallelism *)
-- 
cgit v1.2.3