diff --git a/src/analyses/constant_propagator.h b/src/analyses/constant_propagator.h
index 125942acfe7..5cd479c5f14 100644
--- a/src/analyses/constant_propagator.h
+++ b/src/analyses/constant_propagator.h
@@ -70,12 +70,9 @@ class constant_propagator_domaint:public ai_domain_baset
 
   struct valuest
   {
-  public:
-    valuest():is_bottom(true) {}
-
     // maps variables to constants
     replace_symbolt replace_const;
-    bool is_bottom;
+    bool is_bottom = true;
 
     bool merge(const valuest &src);
     bool meet(const valuest &src);