From 0cc6f93792077896f1207c1adddb1d26e0fe2f61 Mon Sep 17 00:00:00 2001
From: Romain Brenguier <romain.brenguier@gmail.com>
Date: Fri, 5 Jul 2019 13:19:37 +0100
Subject: [PATCH] Default initialize class_hierarchy

clang++-3.7 will complain if we don't use the user provided default
constructor.
---
 .../java_bytecode_convert_method/convert_method.cpp             | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_method.cpp b/jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_method.cpp
index 0eaaa9fee75..2e2e6e9bac7 100644
--- a/jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_method.cpp
+++ b/jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_method.cpp
@@ -414,7 +414,7 @@ SCENARIO(
 {
   symbol_tablet symbol_table;
   java_string_library_preprocesst string_preprocess;
-  const class_hierarchyt class_hierarchy;
+  const class_hierarchyt class_hierarchy{};
   java_bytecode_convert_methodt converter{symbol_table,
                                           null_message_handler,
                                           10,