From ff40b0b911ec83b473d1014eeb693e96be1c679e Mon Sep 17 00:00:00 2001
From: letouzey
Date: Fri, 29 Jan 2010 11:21:19 +0000
Subject: minor change in test-suite/output/NumberSyntax.out: a BigN.t_ instead
 of BigN.t

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12703 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 test-suite/output/NumbersSyntax.out | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test-suite/output/NumbersSyntax.out b/test-suite/output/NumbersSyntax.out
index ae0cba600c..2e72e6c05b 100644
--- a/test-suite/output/NumbersSyntax.out
+++ b/test-suite/output/NumbersSyntax.out
@@ -25,7 +25,7 @@ I31
      = 37151199385380486
      : BigN.t_
      = 1267650600228229401496703205376
-     : bigN
+     : bigN.t_
 2
      : BigZ.t_
 -1000000000000000000
-- 
cgit v1.2.3