From 064832e89132e5d70e2d99c33a1cb301d48a2ad8 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