From 5a0dcc7d332970ac612144ef0f57bb43b85674bd Mon Sep 17 00:00:00 2001
From: Daniel Kroening <kroening@cs.ox.ac.uk>
Date: Tue, 14 Nov 2017 20:20:43 +0000
Subject: [PATCH] boolbvt::print_assignment should call the print_assignment of
 the base class

---
 src/solvers/flattening/boolbv.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/solvers/flattening/boolbv.cpp b/src/solvers/flattening/boolbv.cpp
index 75d9125f8e7..238ff04ddfa 100644
--- a/src/solvers/flattening/boolbv.cpp
+++ b/src/solvers/flattening/boolbv.cpp
@@ -697,6 +697,8 @@ bool boolbvt::is_unbounded_array(const typet &type) const
 
 void boolbvt::print_assignment(std::ostream &out) const
 {
+  arrayst::print_assignment(out);
+
   for(const auto &it : map.mapping)
   {
     out << it.first << "="