diff options
| author | Kathy Gray | 2015-01-22 14:01:04 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-01-22 14:01:04 +0000 |
| commit | 4644535149e8e4063b8162e59eae4eb7e8b9ea94 (patch) | |
| tree | 6ae1a102b7ad0a11a63e4726e8b4bb37a49179d6 /src | |
| parent | f600ca72c4a67996c8300b149536515fea1fcb39 (diff) | |
Actually remove minus on negative numbers from Lem output
Diffstat (limited to 'src')
| -rw-r--r-- | src/pretty_print.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 11d420dd..0af087d3 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -54,7 +54,7 @@ let lemnum default n = match n with | 64 -> "sixtyfour" | 127 -> "onetwentyseven" | 128 -> "onetwentyeight" - | _ -> if n >= 0 then default n else ("(zero - " ^ (default n) ^ ")") + | _ -> if n >= 0 then default n else ("(zero - " ^ (default (abs n)) ^ ")") let pp_format_id (Id_aux(i,_)) = match i with |