1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Expr/Assigment.cpp b/lib/Expr/Assigment.cpp
index 900c6d10..635362d4 100644
--- a/lib/Expr/Assigment.cpp
+++ b/lib/Expr/Assigment.cpp
@@ -10,6 +10,10 @@
 namespace klee {
 
 void Assignment::dump() {
+  if (bindings.size() == 0) {
+    llvm::errs() << "No bindings\n";
+    return;
+  }
   for (bindings_ty::iterator i = bindings.begin(), e = bindings.end(); i != e;
        ++i) {
     llvm::errs() << (*i).first->name << "\n[";