X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fsvec.h;h=2a93139ad9acf2b69f555ff2ae00518d275900bf;hb=b09d5ec96a32c906bb35770937120401f64e90b7;hp=ac2266249ef5192bd0ba93c6f1668d840abb997b;hpb=cfae8ec3e7ba9e02d4f994f77ef70435cd3575e5;p=openvswitch

diff --git a/lib/svec.h b/lib/svec.h
index ac226624..2a93139a 100644
--- a/lib/svec.h
+++ b/lib/svec.h
@@ -32,6 +32,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 *);