diff options
Diffstat (limited to 'src/lem_interp/interp_utilities.lem')
| -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 |