From d59bd5d7f2b0b524d360c639234d4ca9dac797e2 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 17 Feb 2005 17:11:53 +0000
Subject: Bug affichage entiers négatifs

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6726 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/g_zsyntax.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/parsing/g_zsyntax.ml b/parsing/g_zsyntax.ml
index cae9c76f2d..9ca72e18a7 100644
--- a/parsing/g_zsyntax.ml
+++ b/parsing/g_zsyntax.ml
@@ -328,7 +328,7 @@ let pat_z_of_int dloc n name =
 
 let bigint_of_z = function
   | RApp (_, RRef (_,b),[a]) when b = glob_POS -> bignat_of_pos a
-  | RApp (_, RRef (_,b),[a]) when b = glob_NEG -> bignat_of_pos a
+  | RApp (_, RRef (_,b),[a]) when b = glob_NEG -> Bigint.neg (bignat_of_pos a)
   | RRef (_, a) when a = glob_ZERO -> Bigint.zero
   | _ -> raise Non_closed_number
 
-- 
cgit v1.2.3