From c470bdfea5ae29eada9ae0ff61f5b8261604fb90 Mon Sep 17 00:00:00 2001
From: Owen <owen.jones@diffblue.com>
Date: Tue, 13 Mar 2018 06:47:28 +0000
Subject: [PATCH] Replace assert(false) by UNREACHABLE

This is needed for the release build to work, because asserts are removed
---
 src/solvers/flattening/boolbv_get.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/solvers/flattening/boolbv_get.cpp b/src/solvers/flattening/boolbv_get.cpp
index 24403fceb13..e1b14306866 100644
--- a/src/solvers/flattening/boolbv_get.cpp
+++ b/src/solvers/flattening/boolbv_get.cpp
@@ -232,7 +232,7 @@ exprt boolbvt::bv_get_rec(
        case tvt::tv_enumt::TV_FALSE: ch='0'; break;
        case tvt::tv_enumt::TV_TRUE:  ch='1'; break;
        case tvt::tv_enumt::TV_UNKNOWN: ch='0'; break;
-       default: assert(false);
+       default: UNREACHABLE;
       }
     }