From 12e727e49a9804a6c99e93cb56a33fdad6cdd46e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 2 Jan 2020 18:04:39 -0800 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/CMakeLists.txt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index dd0044bee..53f5e1549 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -37,9 +37,6 @@ endforeach() add_subdirectory(util) add_subdirectory(math/polynomial) add_subdirectory(math/dd) -add_subdirectory(sat) -add_subdirectory(nlsat) -add_subdirectory(util/lp) add_subdirectory(math/hilbert) add_subdirectory(math/simplex) add_subdirectory(math/automata) @@ -54,6 +51,9 @@ add_subdirectory(tactic) add_subdirectory(ast/substitution) add_subdirectory(parsers/util) add_subdirectory(math/grobner) +add_subdirectory(sat) +add_subdirectory(nlsat) +add_subdirectory(util/lp) add_subdirectory(math/euclid) add_subdirectory(tactic/core) add_subdirectory(math/subpaving/tactic)