From 236ec01b78fb37fd20c71bcadd1809b18025317b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 13 Dec 2023 14:17:19 -0800 Subject: [PATCH] disable from python build Signed-off-by: Nikolaj Bjorner --- src/sat/smt/polysat/{saturation.cpp => saturation.cpp.disabled} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/sat/smt/polysat/{saturation.cpp => saturation.cpp.disabled} (100%) diff --git a/src/sat/smt/polysat/saturation.cpp b/src/sat/smt/polysat/saturation.cpp.disabled similarity index 100% rename from src/sat/smt/polysat/saturation.cpp rename to src/sat/smt/polysat/saturation.cpp.disabled