diff options
| author | Jon French | 2018-05-23 16:51:00 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-23 16:51:00 +0100 |
| commit | ac26bb0a957288d2024204046ccf3717c36df870 (patch) | |
| tree | 9a8b21373054d24bfdb027f47702ca3bcd857e40 /src/test/lib/tests/test_rightshift.sail | |
| parent | 5852dbc82a47d6d9671209390613b30e953ca208 (diff) | |
fix typo in error message in type_check.ml
Diffstat (limited to 'src/test/lib/tests/test_rightshift.sail')
0 files changed, 0 insertions, 0 deletions