From 8f40e8f0579aeaa9c2a7d113f2328195b80ff951 Mon Sep 17 00:00:00 2001
From: Ahmed Irfan <ahmed.irfan@sri.com>
Date: Wed, 27 Nov 2024 05:41:51 +0000
Subject: [PATCH] minor

---
 src/mcsat/trail.c | 2 ++
 src/mcsat/trail.h | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/mcsat/trail.c b/src/mcsat/trail.c
index c625691be..c32405bbe 100644
--- a/src/mcsat/trail.c
+++ b/src/mcsat/trail.c
@@ -390,6 +390,7 @@ void trail_clear_unassigned_cache(mcsat_trail_t* trail, mcsat_model_t* cache) {
   }
 }
 
+#if 0
 inline static
 void trail_clear_unassigned_bool_cache(mcsat_trail_t* trail, mcsat_model_t* cache) {
   for (variable_t var = 0; var < cache->size; ++var) {
@@ -398,6 +399,7 @@ void trail_clear_unassigned_bool_cache(mcsat_trail_t* trail, mcsat_model_t* cach
     }
   }
 }
+#endif
 
 void trail_recache(mcsat_trail_t* trail, uint32_t round) {
   // clear target or copy best into target at each recache iteration
diff --git a/src/mcsat/trail.h b/src/mcsat/trail.h
index 001c5b13c..1f2b06acf 100644
--- a/src/mcsat/trail.h
+++ b/src/mcsat/trail.h
@@ -244,8 +244,8 @@ void trail_set_cached_value(mcsat_trail_t* trail, variable_t var, const mcsat_va
   if (!trail_has_value(trail, var)) {
     mcsat_model_set_value(&trail->model, var, value);
   }
-  mcsat_model_set_value(&trail->target_cache, var, value);
   if (!mcsat_model_has_value(&trail->target_cache, var)) trail->target_depth++;
+  mcsat_model_set_value(&trail->target_cache, var, value);
 }
 
 /** Add a new decision x -> value */