X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Ftemp-file.h;h=186266574ec33966153eef15cac74976ac16363f;hb=75a514035ccbe2df4058b486a48162b301dd51d0;hp=499c1e34884df8aa4d6427b142366e800644bad1;hpb=e99991940478d76062c4ab8e44a5747354e33259;p=pspp

diff --git a/src/libpspp/temp-file.h b/src/libpspp/temp-file.h
index 499c1e3488..186266574e 100644
--- a/src/libpspp/temp-file.h
+++ b/src/libpspp/temp-file.h
@@ -23,5 +23,7 @@
 
 FILE *create_temp_file (void);
 void close_temp_file (FILE *);
+const char *temp_dir_name (void);
+
 
 #endif /* libpspp/ext-array.h */