From a8c6bc617a90da733d4c6380c67f742798d25b54 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 15 Oct 2001 08:09:38 +0000
Subject: Orthographe

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2113 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/himsg.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/toplevel/himsg.ml b/toplevel/himsg.ml
index 69eb5f2a6f..c528eba95d 100644
--- a/toplevel/himsg.ml
+++ b/toplevel/himsg.ml
@@ -478,8 +478,9 @@ let explain_bad_constructor ctx cstr ind =
 
 let explain_wrong_numarg_of_constructor ctx cstr n =
   let pc = pr_constructor ctx cstr in
-    [<'sTR "The constructor "; pc; 'sTR " expects " ; 
+    [<'sTR "The constructor "; pc; 'sTR " expects " ;
       if n = 0 then [< 'sTR "no argument.">]
+      else if n = 1 then [< 'sTR "1 argument.">]
       else [< 'iNT n ; 'sTR " arguments.">]
     >]
 
-- 
cgit v1.2.3