diff options
| author | Peter Sewell | 2014-11-05 00:16:35 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-11-05 00:16:35 +0000 |
| commit | 43df2c7fe73227c97dc933a2eda238167e4c74a4 (patch) | |
| tree | 3bbb9e6ffc392ebb69c449b54dba0451fcdc08d8 /src/pp.mli | |
| parent | 7b6880656c7e7f60abca0d31621cc8de34e72152 (diff) | |
fix(?) a Big_int/int type error wrt trans_sail
Diffstat (limited to 'src/pp.mli')
0 files changed, 0 insertions, 0 deletions