diff options
Diffstat (limited to 'src/pretty_print.ml')
| -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 |