tuned message;
authorwenzelm
Fri, 21 May 2004 21:15:22 +0200
changeset 14768 68496ae66405
parent 14767 d2b071e65e4c
child 14769 b698d0b243dc
tuned message;
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) =>