X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilename.h;h=46cdd7c532ba82a67815f5fca4dddf9ea3e03db3;hb=bcf41af107e8dffb506a506f576c6535d1b3bde7;hp=3da1374d956304f611e064a7620d516afccf88c1;hpb=4fdeb2145d081ff1b84e3f6c99f9d1c048c0d64a;p=pspp

diff --git a/src/filename.h b/src/filename.h
index 3da1374d95..46cdd7c532 100644
--- a/src/filename.h
+++ b/src/filename.h
@@ -35,6 +35,7 @@ char *fn_prepend_dir (const char *filename, const char *directory);
 char *fn_normalize (const char *fn);
 char *fn_dirname (const char *fn);
 char *fn_basename (const char *fn);
+char *fn_extension (const char *fn);
 
 char *fn_get_cwd (void);