diff --git a/src/math/polysat/log.cpp b/src/math/polysat/log.cpp
index 970ed5583..03113ddd2 100644
--- a/src/math/polysat/log.cpp
+++ b/src/math/polysat/log.cpp
@@ -25,7 +25,7 @@ Other:
 */
 
 /*
-  TODO: add "conditional" logs, i.e., the messages are held back and only printed when a non-conditional message is logged.
+  TODO: add deferred logs, i.e., the messages are held back and only printed when a non-conditional message is logged.
         Purpose: reduce noise, e.g., when printing prerequisites for transformations that do not always apply.
 */
 
diff --git a/src/math/polysat/log.h b/src/math/polysat/log.h
index e7720bb13..09db22813 100644
--- a/src/math/polysat/log.h
+++ b/src/math/polysat/log.h
@@ -114,7 +114,10 @@ polysat_log(LogLevel msg_level, std::string fn, std::string pretty_fn);
 
 inline void set_log_enabled(bool) {}
 inline bool get_log_enabled() { return false; }
-class scoped_set_log_enabled {};
+class scoped_set_log_enabled {
+public:
+    scoped_set_log_enabled(bool) {}
+};
 
 #define LOG_(vlvl, lvl, x)  \
   do {                      \