Fixed -stbv handling in SMT2 back-end

diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc
index 2fb6d4da9c5258743274fda0ea8e66c69ee12f7a..ca1ceacc7245c211cdc9598a5f289f8f5c968f50 100644 (file)
--- a/backends/smt2/smt2.cc
+++ b/backends/smt2/smt2.cc
@@ -766,7 +766,7 @@ struct Smt2Worker
 
                        if (statebv)
                                makebits(stringf("%s_h %s", get_id(module), get_id(cell->name)), mod_stbv_width.at(cell->type));
-                       if (statedt)
+                       else if (statedt)
                                dtmembers.push_back(stringf("  (|%s_h %s| |%s_s|)\n",
                                                get_id(module), get_id(cell->name), get_id(cell->type)));
                        else