From fc1ab0c7fe3aa2f6ce049e2421ca69acdb039947 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 15 May 2015 16:38:11 +0100
Subject: actually match depend effect in has_effect function

---
 src/lem_interp/interp_utilities.lem | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/lem_interp/interp_utilities.lem b/src/lem_interp/interp_utilities.lem
index dab33767..196655e2 100644
--- a/src/lem_interp/interp_utilities.lem
+++ b/src/lem_interp/interp_utilities.lem
@@ -63,7 +63,8 @@ let rec has_effect which efcts =
     | (BE_barr,BE_barr)    -> true 
     | (BE_undef,BE_undef)  -> true 
     | (BE_unspec,BE_unspec) -> true 
-    | (BE_nondet,BE_nondet) -> true 
+    | (BE_nondet,BE_nondet) -> true
+    | (BE_depend,BE_depend) -> true 
     | _ -> has_effect which efcts
     end 
   end
-- 
cgit v1.2.3