diff src/lex.l @ 3565:4290f11c8d3b

[project @ 2000-02-03 08:32:41 by jwe]
author jwe
date Thu, 03 Feb 2000 08:32:44 +0000
parents 0345dd2a826f
children dd8998699aa8
line wrap: on
line diff
--- a/src/lex.l	Thu Feb 03 06:28:19 2000 +0000
+++ b/src/lex.l	Thu Feb 03 08:32:44 2000 +0000
@@ -2287,9 +2287,9 @@
 
   if (! val.empty ())
     {
-      if (val.compare ("ignore", 0, 6) == 0)
+      if (val == "ignore")
 	pref = 2;
-      else if (val.compare ("traditional", 0, 11) == 0)
+      else if (val == "traditional")
 	pref = 1;
     }