diff src/variables.cc @ 3565:4290f11c8d3b

[project @ 2000-02-03 08:32:41 by jwe]
author jwe
date Thu, 03 Feb 2000 08:32:44 +0000
parents ab7fa5a8f23f
children 8cea69ad95ae
line wrap: on
line diff
--- a/src/variables.cc	Thu Feb 03 06:28:19 2000 +0000
+++ b/src/variables.cc	Thu Feb 03 08:32:44 2000 +0000
@@ -1298,9 +1298,9 @@
 
   if (! val.empty ())
     {
-      if (val.compare ("all", 0, 3) == 0)
+      if (val == "all")
 	pref = 2;
-      if (val.compare ("system", 0, 6) == 0)
+      else if (val == "system")
 	pref = 1;
     }