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