From 56e798ef7fd518627fe2bdc04d0af5f837406c46 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Sat, 27 Apr 2019 16:33:24 +0100 Subject: [PATCH] symbol_table_buildert cannot have move constructor It uses classes that don't have a move constructor. This change is required for compilation with clang 8. --- src/util/symbol_table_builder.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/symbol_table_builder.h b/src/util/symbol_table_builder.h index dbad785aad..a733d0a7bc 100644 --- a/src/util/symbol_table_builder.h +++ b/src/util/symbol_table_builder.h @@ -37,7 +37,7 @@ public: symbol_table_buildert(const symbol_table_buildert &) = delete; symbol_table_buildert &operator=(const symbol_table_buildert &) = delete; - symbol_table_buildert &operator=(symbol_table_buildert &&) = default; + symbol_table_buildert &operator=(symbol_table_buildert &&) = delete; static symbol_table_buildert wrap(symbol_table_baset &base_symbol_table) {