X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Futil.h;h=9e7b88f06825866358adca046f55108a6163b40a;hb=2cb0c515ea85a104a18129e3379b49c556ae4e8e;hp=afa43f62514e6e2234cb912ce4b0ca9d4286c08b;hpb=f38b84ea2b6b61d309c604faedd41ab3b0fcf16b;p=openvswitch

diff --git a/lib/util.h b/lib/util.h
index afa43f62..9e7b88f0 100644
--- a/lib/util.h
+++ b/lib/util.h
@@ -125,6 +125,8 @@ bool str_to_double(const char *, double *);
 
 int hexit_value(int c);
 
+char *dir_name(const char *file_name);
+
 #ifdef  __cplusplus
 }
 #endif