diff options
| author | Robert Norton | 2017-06-22 15:17:34 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-06-22 15:17:34 +0100 |
| commit | ccbd64bf8f4223e1934d9f6d73e172c986e5563d (patch) | |
| tree | 58f17d95141e09a608a4e46caa1f71845640f9d3 /src/initial_check_full_ast.mli | |
| parent | 122d572397571c60f3857ad7342b469da57153d6 (diff) | |
fix a typo spotted in CPtrCmp instruction -- CLEU was using signed comparison instead of unsigned.
Diffstat (limited to 'src/initial_check_full_ast.mli')
0 files changed, 0 insertions, 0 deletions