diff options
author | Adam Chlipala <adam@chlipala.net> | 2013-12-29 13:18:50 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2013-12-29 13:18:50 -0500 |
commit | ca6926d0e0d1af6ea0531c6c558943beb08f646c (patch) | |
tree | d4e547c6d56c7b5524632d7c6f4a22e35e8bcfc2 /src/cjrize.sml | |
parent | 44c3bfba2420a555eee8fefe7377d059c4666ef8 (diff) |
Compile-time error for periodic tasks in nonpersistent protocols
Diffstat (limited to 'src/cjrize.sml')
0 files changed, 0 insertions, 0 deletions