From d46b26156b306b8cb8b8867ec48dc43fd0c0e3fa Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 17 Jul 2008 08:35:58 +0000
Subject: Uniformisation du format des messages d'erreur (commencent par une
 majuscule - si pas un ident ou un terme - et se terminent par un point).
 Restent quelques utilisations de "error" qui sont liées à des usages
 internes, ne faudrait-il pas utiliser des exceptions plus spécifiques à la
 place ?

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11230 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 theories/Program/Utils.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'theories/Program')

diff --git a/theories/Program/Utils.v b/theories/Program/Utils.v
index 149901c7bb..a4eb8bbcc0 100644
--- a/theories/Program/Utils.v
+++ b/theories/Program/Utils.v
@@ -53,4 +53,4 @@ Extract Inductive bool => "bool" [ "true" "false" ].
 Extract Inductive sumbool => "bool" [ "true" "false" ].
 (* Extract Inductive prod "'a" "'b" => " 'a * 'b " [ "(,)" ]. *)
 (* Extract Inductive sigT => "prod" [ "" ]. *)
-*)
+*)
\ No newline at end of file
-- 
cgit v1.2.3