Permalink
Browse files

Do not generate sensitivity list for wait statements if one has been …

…supplied
  • Loading branch information...
nickg committed Sep 29, 2012
1 parent 04b3e94 commit f36e2f59e2adc8ab4640f8169285c29b5e27c760
Showing with 1 addition and 1 deletion.
  1. +1 −1 src/simp.c
View
@@ -491,7 +491,7 @@ static tree_t simp_wait(tree_t t)
// If there is no sensitivity list supplied generate one from the
// condition clause
- if (tree_has_value(t))
+ if (tree_has_value(t) && (tree_triggers(t) == 0))
tree_visit_only(tree_value(t), simp_build_wait, t, T_REF);
return t;

0 comments on commit f36e2f5

Please sign in to comment.