diff options
| author | Alasdair Armstrong | 2019-05-14 15:26:46 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-05-14 15:26:46 +0100 |
| commit | 63d7f669f3d292315e4a353115284358ba7d5627 (patch) | |
| tree | acf9c56639f7612246809960883c70fcb155bedc /lib/coq/Sail2_string.v | |
| parent | 41e6fe10e7d28193fa62711fcdad797b1f0103a0 (diff) | |
Fix: Issue a warning for any unrecognised directive
Fixes #46
Diffstat (limited to 'lib/coq/Sail2_string.v')
0 files changed, 0 insertions, 0 deletions