From e6ffa5d2a5155666c02eca038148f992b12903bd Mon Sep 17 00:00:00 2001 From: Alex Horn Date: Wed, 10 Jun 2015 19:59:57 +0100 Subject: [PATCH] Enable datalog plugin for AST extensions Signed-off-by: Alex Horn --- src/cmd_context/cmd_context.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/cmd_context/cmd_context.cpp b/src/cmd_context/cmd_context.cpp index 50afc1735..c8d5e8cab 100644 --- a/src/cmd_context/cmd_context.cpp +++ b/src/cmd_context/cmd_context.cpp @@ -621,6 +621,7 @@ void cmd_context::init_manager_core(bool new_manager) { register_plugin(symbol("seq"), alloc(seq_decl_plugin), logic_has_seq()); register_plugin(symbol("pb"), alloc(pb_decl_plugin), !has_logic()); register_plugin(symbol("fpa"), alloc(fpa_decl_plugin), logic_has_fpa()); + register_plugin(symbol("datalog_relation"), alloc(datalog::dl_decl_plugin), !has_logic()); } else { // the manager was created by an external module