diff options
| author | Holden Rohrer <hr@hrhr.dev> | 2020-07-16 12:40:56 -0400 |
|---|---|---|
| committer | Holden Rohrer <hr@hrhr.dev> | 2020-07-16 12:41:55 -0400 |
| commit | 5cc071b82b8916a9c6fc213599a3714612b5cfcb (patch) | |
| tree | 15a6c723039d8055ad4a0c489a6e0c2531800e34 /examples | |
| parent | db24fbe16e0f73f9278f4ec090be756c9704dee1 (diff) | |
improved space correctness
Subsections have valid locs, and built-in assumptions are asserted like
a valid loc in a towrite() or the structure of a subsection() call
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions