From 25343232ca577591877798bbe928059e0ba80c43 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 17 Mar 2021 15:36:02 -0700 Subject: [PATCH] add dependency --- 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 a2bc85757..0bf9b30fa 100644 --- a/scripts/mk_project.py +++ b/scripts/mk_project.py @@ -38,7 +38,7 @@ def init_project_def(): add_lib('substitution', ['ast', 'rewriter'], 'ast/substitution') add_lib('parser_util', ['ast'], 'parsers/util') add_lib('proofs', ['rewriter', 'util'], 'ast/proofs') - add_lib('solver', ['model', 'tactic', 'proofs', 'smt_params']) + add_lib('solver', ['model', 'tactic', 'proofs', 'smt_params', 'normal_forms']) add_lib('cmd_context', ['solver', 'rewriter', 'params']) add_lib('smt2parser', ['cmd_context', 'parser_util'], 'parsers/smt2') add_lib('aig_tactic', ['tactic'], 'tactic/aig')