diff options
| author | Alasdair Armstrong | 2019-03-01 16:38:03 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-03-01 16:39:13 +0000 |
| commit | 3e2cd8de57d4bc865f6b8299dd4e5689b5e8b875 (patch) | |
| tree | 58da240a2d4b79a262ee7d6b8b48c6cf672755e4 /lib/hol/sail2_stateAuxiliaryScript.sml | |
| parent | d9db6da6d031effbf820de406f06c4ee973939a5 (diff) | |
Add a test case for previous commit
Also make unifying int against int('n) work as expected for
constructor applications.
Diffstat (limited to 'lib/hol/sail2_stateAuxiliaryScript.sml')
0 files changed, 0 insertions, 0 deletions