diff options
| author | Kathy Gray | 2015-06-05 15:43:40 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-06-05 15:43:40 +0100 |
| commit | c1577421a422133c39007fbe895718fcf5dd64c4 (patch) | |
| tree | 1d02d5437ad8819a01b8bad6db55566c2f5c2523 /src/pp.ml | |
| parent | 22f2486927cadb13279e88683e93ef14bf91da25 (diff) | |
Manually turn negative nat values to 0 instead of letting Lem use an abs call to turn them positive, in to_vec*
Diffstat (limited to 'src/pp.ml')
0 files changed, 0 insertions, 0 deletions