X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Futil.h;h=7615288d8043eb51e80b54d8da582ebbeddc40b3;hb=c002dde70329b5553b79f3f1ad6d60771f4179c0;hp=2be7a70999f54d8abc73b00108e08c5e6dfab18c;hpb=b2fda3effc787f265b5ad5dfa967ac00627bd075;p=openvswitch

diff --git a/lib/util.h b/lib/util.h
index 2be7a709..7615288d 100644
--- a/lib/util.h
+++ b/lib/util.h
@@ -186,6 +186,8 @@ bool str_to_double(const char *, double *);
 int hexit_value(int c);
 unsigned int hexits_value(const char *s, size_t n, bool *ok);
 
+const char *english_list_delimiter(size_t index, size_t total);
+
 char *get_cwd(void);
 char *dir_name(const char *file_name);
 char *base_name(const char *file_name);