Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
v0.9: Treat an empty @* as something that will never trigger.
An @* with no sensitivities should be treated as something that will never trigger vs something that will run continuously. This patch makes this change and adds a warning when an @* has no sensitivities since this is almost certainly a coding bug.
- Loading branch information