X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fsvec.h;h=d9bb8a79e2f5b4ff73d940cdebbeca8eef9f6ec3;hb=fb0d597fb64308c60001e3afc9b31eb295dedb6b;hp=35de6d4a9fe406f1f47924526d7c9f200e765cf4;hpb=f4ade10529d5a3882ff1d6937c19f5c1585eb8b1;p=openvswitch

diff --git a/lib/svec.h b/lib/svec.h
index 35de6d4a..d9bb8a79 100644
--- a/lib/svec.h
+++ b/lib/svec.h
@@ -36,6 +36,7 @@ void svec_init(struct svec *);
 void svec_clone(struct svec *, const struct svec *);
 void svec_destroy(struct svec *);
 void svec_clear(struct svec *);
+bool svec_is_empty(const struct svec *);
 void svec_add(struct svec *, const char *);
 void svec_add_nocopy(struct svec *, char *);
 void svec_del(struct svec *, const char *);