X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Ffile-name.h;h=d34bd4196fea046db722197aa403db964a423deb;hb=a26729420e8d53045e12fe309202aa5cc3693da2;hp=b4231d2f87178b841f85cf62d69a76e15b871b5e;hpb=707848060e414fe93458834446dd7cdbf800667f;p=pspp

diff --git a/src/data/file-name.h b/src/data/file-name.h
index b4231d2f87..d34bd4196f 100644
--- a/src/data/file-name.h
+++ b/src/data/file-name.h
@@ -52,4 +52,6 @@ int fn_compare_file_identities (const struct file_identity *,
                                 const struct file_identity *);
 unsigned int fn_hash_identity (const struct file_identity *);
 
+const char * default_output_path (void);
+
 #endif /* file-name.h */