# HG changeset patch
# User wenzelm
# Date 1085166922 -7200
# Node ID 68496ae6640509d4e8f7315140f9e35ff18a5860
# Parent  d2b071e65e4cd274917dcf89145f1fe9671cb1e1
tuned message;

diff -r d2b071e65e4c -r 68496ae66405 src/HOL/Tools/primrec_package.ML
--- a/src/HOL/Tools/primrec_package.ML	Fri May 21 21:15:10 2004 +0200
+++ b/src/HOL/Tools/primrec_package.ML	Fri May 21 21:15:22 2004 +0200
@@ -136,7 +136,7 @@
 
     fun trans eqns ((cname, cargs), (fnames', fnss', fns)) =
       (case assoc (eqns, cname) of
-          None => (warning ("no equation for constructor " ^ quote cname ^
+          None => (warning ("No equation for constructor " ^ quote cname ^
             "\nin definition of function " ^ quote fname);
               (fnames', fnss', (Const ("arbitrary", dummyT))::fns))
         | Some (ls, cargs', rs, rhs, eq) =>