diff src/ov-usr-fcn.cc @ 3565:4290f11c8d3b

[project @ 2000-02-03 08:32:41 by jwe]
author jwe
date Thu, 03 Feb 2000 08:32:44 +0000
parents 71bd2d124119
children 0689afb1d001
line wrap: on
line diff
--- a/src/ov-usr-fcn.cc	Thu Feb 03 06:28:19 2000 +0000
+++ b/src/ov-usr-fcn.cc	Thu Feb 03 08:32:44 2000 +0000
@@ -138,7 +138,7 @@
 
       std::string ff_name = fcn_file_in_path (file_name);
 
-      if (Vfcn_file_dir.compare (ff_name, 0, Vfcn_file_dir.length ()) == 0)
+      if (Vfcn_file_dir == ff_name.substr (0, Vfcn_file_dir.length ()))
 	system_fcn_file = 1;
     }
   else