diff options
| author | Alasdair Armstrong | 2019-07-31 14:41:57 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-07-31 14:41:57 +0100 |
| commit | 7612369a3ca20a97257b6fa29b28e1b4939641dc (patch) | |
| tree | 58ff291933516104e282e817ad880ecb464c0727 /src/gen_lib/0.11/sail2_state_monad.lem | |
| parent | 3bf4b4489f4e8ee114773802bfc9d5a4a9e13d0b (diff) | |
Change platform_barrier so it doesn't care about it's argument type
Diffstat (limited to 'src/gen_lib/0.11/sail2_state_monad.lem')
0 files changed, 0 insertions, 0 deletions