From 6ed5b6d667bc193084d4fcf033ae119b51ca9cab Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Sun, 8 Feb 2026 11:56:00 +0000
Subject: [PATCH] constructor

---
 src/ast/ast.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/ast/ast.h b/src/ast/ast.h
index d96958a3d..3f194f0d3 100644
--- a/src/ast/ast.h
+++ b/src/ast/ast.h
@@ -126,11 +126,11 @@ private:
         rational*, // for PARAM_RATIONAL
         double,    // for PARAM_DOUBLE (remark: this is not used in float_decl_plugin)
         unsigned   // for PARAM_EXTERNAL
-    > m_val;
+    > m_val = 0;
 
 public:
 
-    parameter() : m_val(0) {}
+    parameter() noexcept = default;
     explicit parameter(int val): m_val(val) {}
     explicit parameter(unsigned val): m_val((int)val) {}
     explicit parameter(ast * p): m_val(p) {}