diff options
| author | Jon French | 2018-12-28 15:18:31 +0000 |
|---|---|---|
| committer | Jon French | 2018-12-28 15:18:31 +0000 |
| commit | 3506f72e7c360a1a7502fb6196a1efd65b819c27 (patch) | |
| tree | deffa81849ef8fc9403c8e2c02926db98c816539 /lib/isabelle/ROOT | |
| parent | b59fba68e535f39b6285ec7f4f693107b6e34148 (diff) | |
Remove opt_spc_matches_prefix from sail.h (fixes C tests)
Diffstat (limited to 'lib/isabelle/ROOT')
0 files changed, 0 insertions, 0 deletions