diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 0ec7f08f4..ebf364f06 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -920,7 +920,7 @@ class SmtIo:
         if len(expr_list) == 0:
             return []
         self.write("(get-value (%s))" % " ".join(expr_list))
-        return [n[1] for n in self.parse(self.read())]
+        return [n[1] for n in self.parse(self.read()) if n]
 
     def get_path(self, mod, path):
         assert mod in self.modinfo