diff options
| author | Kathy Gray | 2015-01-21 16:43:00 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-01-21 16:43:00 +0000 |
| commit | 873ee3f940f80b965d03cd1f39f2042cf684ecda (patch) | |
| tree | 763eb0bfb83204131b6c538d1ecab793e27cce6c /src | |
| parent | 4f511f96b830d81766c049f578e95ff02d56c599 (diff) | |
turn negative numbers into 0-n in Lem ast backend
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 63480693..11d420dd 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" - | _ -> default n + | _ -> if n >= 0 then default n else ("(zero - " ^ (default n) ^ ")") let pp_format_id (Id_aux(i,_)) = match i with |