From a4e123b900ef131d4f82cd1e79a61606e516c023 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 26 Jan 2026 10:10:04 -0800
Subject: [PATCH] Update sat_ddfw.h

---
 src/ast/sls/sat_ddfw.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/ast/sls/sat_ddfw.h b/src/ast/sls/sat_ddfw.h
index 73db66e03..4bf52cf16 100644
--- a/src/ast/sls/sat_ddfw.h
+++ b/src/ast/sls/sat_ddfw.h
@@ -72,6 +72,7 @@ namespace sat {
             double   m_reward = 0;
             double   m_last_reward = 0;
             unsigned m_make_count = 0;
+            unsigned m_timestamp = 0;
             int      m_bias = 0;
             ema      m_reward_avg = 1e-5;
         };
@@ -283,6 +284,8 @@ namespace sat {
 
         inline int& bias(bool_var v) { return m_vars[v].m_bias; }
 
+        unsigned timestamp(bool_var v) { return m_vars[v].m_timestamp; }
+
         void reserve_vars(unsigned n);
         
         void add(unsigned sz, literal const* c);