From 53e94ed52227d28c2cde5874c7e2f3b2ff6d47aa Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 2 Jan 2006 17:42:15 +0000
Subject: Affichage de 'O' (lettre) comme '0' (chiffre)

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

diff --git a/test-suite/output/Fixpoint.out b/test-suite/output/Fixpoint.out
index 5af28a5aff..62c9d3952a 100644
--- a/test-suite/output/Fixpoint.out
+++ b/test-suite/output/Fixpoint.out
@@ -5,7 +5,7 @@ list B := match l with
           end
      : forall A B : Set, (A -> B) -> list A -> list B
 let fix f (m : nat) : nat := match m with
-                             | O => 0
+                             | 0 => 0
                              | S m' => f m'
                              end in f 0
      : nat
-- 
cgit v1.2.3