From 3bc67d18047ad56cd762054296ec692fbd711361 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 17 Jan 2020 15:38:40 -0800 Subject: [PATCH] fix the build Signed-off-by: Lev Nachmanson --- scripts/mk_project.py | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/mk_project.py b/scripts/mk_project.py index d0349c0f2..35ddde70c 100644 --- a/scripts/mk_project.py +++ b/scripts/mk_project.py @@ -19,6 +19,7 @@ def init_project_def(): add_lib('simplex', ['util'], 'math/simplex') add_lib('hilbert', ['util'], 'math/hilbert') add_lib('automata', ['util'], 'math/automata') + add_lib('interval', ['util'], 'math/interval') add_lib('realclosure', ['interval'], 'math/realclosure') add_lib('subpaving', ['interval'], 'math/subpaving') add_lib('ast', ['util', 'polynomial'])