diff options
| author | Kathy Gray | 2015-05-15 16:38:11 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-05-15 16:38:11 +0100 |
| commit | fc1ab0c7fe3aa2f6ce049e2421ca69acdb039947 (patch) | |
| tree | 2ba796e42a7d40aa88ff35875de97049d759d781 | |
| parent | b0fc4a976b4d34d71c041ebe479a522c0aa15588 (diff) | |
actually match depend effect in has_effect function
| -rw-r--r-- | src/lem_interp/interp_utilities.lem | 3 |
1 files changed, 2 insertions, 1 deletions
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 |