From 4644535149e8e4063b8162e59eae4eb7e8b9ea94 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 22 Jan 2015 14:01:04 +0000
Subject: Actually remove minus on negative numbers from Lem output

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