diff options
| author | Robert Norton | 2017-04-20 11:54:16 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-20 11:54:16 +0100 |
| commit | ae711f2bb22410667d14788fc9451cc8aba65399 (patch) | |
| tree | 67ad5f3ed43816277a6065dadabfb7a526ec2a0e /src/gen_lib/sail_values.ml | |
| parent | c8d5abad7f46df85ec6e1d47c28454077354c066 (diff) | |
work around ocaml shallow embedding problem with matching on big_ints by restructuing switch as if
Diffstat (limited to 'src/gen_lib/sail_values.ml')
0 files changed, 0 insertions, 0 deletions