From ace3472a96b50df53ef9d6edbbf3f89b9104cfa5 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 25 Aug 2024 18:49:57 -0700 Subject: [PATCH] add smt params to path Signed-off-by: Nikolaj Bjorner --- scripts/mk_project.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_project.py b/scripts/mk_project.py index 486d23c72..4c99b1a7a 100644 --- a/scripts/mk_project.py +++ b/scripts/mk_project.py @@ -33,7 +33,7 @@ def init_project_def(): add_lib('macros', ['rewriter'], 'ast/macros') add_lib('model', ['macros']) add_lib('converters', ['model'], 'ast/converters') - add_lib('ast_sls', ['ast','normal_forms','converters'], 'ast/sls') + add_lib('ast_sls', ['ast','normal_forms','converters','smt_params'], 'ast/sls') add_lib('sat', ['params', 'util', 'dd', 'ast_sls', 'grobner']) add_lib('nlsat', ['polynomial', 'sat']) add_lib('lp', ['util', 'nlsat', 'grobner', 'interval', 'smt_params'], 'math/lp')