X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fsvec.c;h=81a36b57ae7544c9ef9d7fa5b1166790d961601a;hb=6bf4c631ae776f4e936b5f01efe4bfbe190f5d99;hp=078b107042195900bf35da392cefd48b35161f07;hpb=a14bc59fb8f27db193d74662dc9c5cb8237177ef;p=openvswitch

diff --git a/lib/svec.c b/lib/svec.c
index 078b1070..81a36b57 100644
--- a/lib/svec.c
+++ b/lib/svec.c
@@ -59,6 +59,12 @@ svec_clear(struct svec *svec)
     svec->n = 0;
 }
 
+bool
+svec_is_empty(const struct svec *svec)
+{
+    return svec->n == 0;
+}
+
 void
 svec_add(struct svec *svec, const char *name)
 {