From 4bdd1ae59c3c38e2c5e62d517b3f172e5a0d6d17 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Fri, 25 Jan 2019 12:29:15 +0000
Subject: [PATCH] Remove unreachable statement

nil_typet is deprecated, so this is a trivial fix to get rid of this use.
---
 jbmc/src/java_bytecode/java_types.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/jbmc/src/java_bytecode/java_types.cpp b/jbmc/src/java_bytecode/java_types.cpp
index 220e98db04d..f8d13d84c06 100644
--- a/jbmc/src/java_bytecode/java_types.cpp
+++ b/jbmc/src/java_bytecode/java_types.cpp
@@ -210,7 +210,8 @@ typet java_type_from_char(char t)
   case 'd': return java_double_type();
   case 'z': return java_boolean_type();
   case 'a': return java_reference_type(void_typet());
-  default: UNREACHABLE; return nil_typet();
+  default:
+    UNREACHABLE;
   }
 }