X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fmake-file.h;h=67d0d2160f7df039a9097a2fea6c52180bbfa7da;hb=f5c108becd49d78f4898cab11352291f5689d24e;hp=30366143c8dd50a24bb09eb03021ee9d99b185c9;hpb=7eee0554f378481faf447e2d2e940f389d6b05ec;p=pspp-builds.git

diff --git a/src/data/make-file.h b/src/data/make-file.h
index 30366143..67d0d216 100644
--- a/src/data/make-file.h
+++ b/src/data/make-file.h
@@ -23,7 +23,7 @@
 /* Creates a temporary file and stores its name in *FILE_NAME and
    a file descriptor for it in *FD.  Returns success.  Caller is
    responsible for freeing *FILE_NAME. */
-int make_temp_file (int *fd, char **file_name); 
+int make_temp_file (int *fd, char **file_name);
 
 
 /* Creates a temporary file and stores its name in *FILE_NAME and