From 873ee3f940f80b965d03cd1f39f2042cf684ecda Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 21 Jan 2015 16:43:00 +0000
Subject: turn negative numbers into 0-n in Lem ast backend

---
 src/pretty_print.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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
-- 
cgit v1.2.3