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