From 9bc1d11162403e331e99d5d0494feab70ace6fbc Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Tue, 23 Feb 2016 17:25:07 +0000
Subject: When calling ``Assignment::dump()`` if there are no bindings emit a
 message stating this.

---
 lib/Expr/Assigment.cpp | 4 ++++
 1 file changed, 4 insertions(+)

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[";
-- 
cgit 1.4.1