From 605ee863e19ddd0e53c4446e8c691333cfbe1510 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Wed, 15 Oct 2025 19:24:32 +0000
Subject: [PATCH] Remove unused dl_decl_plugin variable and include

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/model/model.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/model/model.cpp b/src/model/model.cpp
index f70b53a7a..ad113d5e8 100644
--- a/src/model/model.cpp
+++ b/src/model/model.cpp
@@ -26,7 +26,6 @@ Revision History:
 #include "ast/array_decl_plugin.h"
 #include "ast/bv_decl_plugin.h"
 #include "ast/recfun_decl_plugin.h"
-#include "ast/dl_decl_plugin.h"
 #include "ast/well_sorted.h"
 #include "ast/used_symbols.h"
 #include "ast/for_each_expr.h"
@@ -106,7 +105,6 @@ value_factory* model::get_factory(sort* s) {
     if (m_factories.plugins().empty()) {
         seq_util su(m);
         fpa_util fu(m);
-        datalog::dl_decl_plugin dl_plugin;
         m_factories.register_plugin(alloc(basic_factory, m, 0));
         m_factories.register_plugin(alloc(array_factory, m, *this));
         m_factories.register_plugin(alloc(datatype_factory, m, *this));