From 3dedc13481bc92a26c57ef87e594c6d33cc1ff87 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 24 Aug 2020 02:00:37 -0700 Subject: [PATCH] na 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 3d041b126..745d7bf54 100644 --- a/scripts/mk_project.py +++ b/scripts/mk_project.py @@ -23,7 +23,7 @@ def init_project_def(): add_lib('realclosure', ['interval'], 'math/realclosure') add_lib('subpaving', ['interval'], 'math/subpaving') add_lib('ast', ['util', 'polynomial']) - add_lib('euf' ['ast','util'], 'ast/euf') + add_lib('euf', ['ast','util'], 'ast/euf') add_lib('grobner', ['ast', 'dd', 'simplex'], 'math/grobner') add_lib('sat', ['util','dd', 'grobner']) add_lib('nlsat', ['polynomial', 'sat'])