From 065e0652a3e15638d99935c6c95d7d6e9b52fcba Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 21 Nov 2020 15:15:28 -0800 Subject: [PATCH] fix crash when parsing datalog format Signed-off-by: Nikolaj Bjorner --- src/shell/datalog_frontend.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/shell/datalog_frontend.cpp b/src/shell/datalog_frontend.cpp index ca0e92801..cb289f868 100644 --- a/src/shell/datalog_frontend.cpp +++ b/src/shell/datalog_frontend.cpp @@ -23,6 +23,7 @@ Revision History: #include "util/stopwatch.h" #include "smt/params/smt_params.h" #include "ast/arith_decl_plugin.h" +#include "ast/reg_decl_plugins.h" #include "muz/rel/dl_compiler.h" #include "muz/transforms/dl_mk_filter_rules.h" #include "muz/rel/dl_finite_product_relation.h" @@ -122,6 +123,7 @@ unsigned read_datalog(char const * file) { IF_VERBOSE(1, verbose_stream() << "Z3 Datalog Engine\n";); smt_params s_params; ast_manager m; + reg_decl_plugins(m); datalog::register_engine re; g_overall_time.start(); register_on_timeout_proc(on_timeout);