diff options
| author | Brian Campbell | 2018-05-04 18:52:13 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-04 18:52:13 +0100 |
| commit | e87d2f43beb17cec230d359189842afc5dfcb3b7 (patch) | |
| tree | e5cebfbff6ef659214e816145024b508d149674d /lib/exception_basic.sail | |
| parent | 664a78f7517ecf93ee1694784819cfa1ee894b80 (diff) | |
Rewrite constant nexps in specs
(from Thomas)
Diffstat (limited to 'lib/exception_basic.sail')
0 files changed, 0 insertions, 0 deletions