X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Ffile-name.c;h=184a79aa4f79ae1b7e1c40de95a414e0922655da;hb=3640237a5fc890a84cb814fbe8bf6fd9299624e4;hp=2bbd749b8d0d370dba079cdba1be984d3ee5108a;hpb=cc138b64bf7374d722b043d65c6d55d2b8f2c3bb;p=pspp

diff --git a/src/data/file-name.c b/src/data/file-name.c
index 2bbd749b8d..184a79aa4f 100644
--- a/src/data/file-name.c
+++ b/src/data/file-name.c
@@ -98,7 +98,7 @@ fn_search_path (const char *base_name, char **path)
         file = xasprintf ("%s/%s", dir, base_name);
 
       struct stat temp;
-      if (( (stat (file, &temp) == 0 ) && ( ! S_ISDIR (temp.st_mode) )))
+      if (((stat (file, &temp) == 0) && (! S_ISDIR (temp.st_mode))))
 	return file;
 
       free (file);
@@ -115,7 +115,7 @@ fn_exists (const struct file_handle *fh)
 {
   const char *name = fh_get_file_name (fh);
   struct stat temp;
-  if ( stat (name, &temp) != 0 )
+  if (stat (name, &temp) != 0)
     return false;
 
   return ! S_ISDIR (temp.st_mode);
@@ -235,7 +235,7 @@ default_output_path (void)
 {
   static char *path = NULL;
 
-  if ( path == NULL)
+  if (path == NULL)
     {
       /* Windows NT defines HOMEDRIVE and HOMEPATH.  But give preference
 	 to HOME, because the user can change HOME.  */