diff src/parse.y @ 5180:e7438487c857

[project @ 2005-03-03 05:33:45 by jwe]
author jwe
date Thu, 03 Mar 2005 05:33:45 +0000
parents 7a25bb94ef65
children 85b315ad5f7d
line wrap: on
line diff
--- a/src/parse.y	Thu Mar 03 05:26:57 2005 +0000
+++ b/src/parse.y	Thu Mar 03 05:33:45 2005 +0000
@@ -2974,7 +2974,7 @@
   // Perhaps someday we will want to do more here, so leave this as a
   // separate function.
 
-  return (s.substr (0, 14) == "Copyright");
+  return (s.substr (0, 9) == "Copyright");
 }
 
 static int