diff options
| author | Alasdair Armstrong | 2019-11-11 12:58:43 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-11-11 12:58:43 +0000 |
| commit | 2e1074244d86c7442ae8f7ceab31061bfd853242 (patch) | |
| tree | 628c9d7bc30af1369f333e8d50c001f47b911b61 /test/c/undefined_union.sail | |
| parent | bf657ba085f40838a4048b18b19ce889310f3ddd (diff) | |
Make sure we include LEXP_cast register refs when slicing the specification
Also make the Error type private, so it's only constructed through the
functions we expose in reporting.mli
Diffstat (limited to 'test/c/undefined_union.sail')
0 files changed, 0 insertions, 0 deletions