From 89f0fb05a544858bff49d4cd7eaa9d8959ca0886 Mon Sep 17 00:00:00 2001 From: Jakob Rath Date: Tue, 8 Aug 2023 17:54:33 +0200 Subject: [PATCH] forgot to commit CMakeLists --- src/math/polysat/CMakeLists.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/src/math/polysat/CMakeLists.txt b/src/math/polysat/CMakeLists.txt index 0759b462f..00eaa2745 100644 --- a/src/math/polysat/CMakeLists.txt +++ b/src/math/polysat/CMakeLists.txt @@ -8,6 +8,7 @@ z3_add_component(polysat constraint.cpp constraint_manager.cpp eq_explain.cpp + fixed_bits.cpp forbidden_intervals.cpp inference_logger.cpp justification.cpp