minor

SRI-CSL · Nov 27, 2024 · 8f40e8f · 8f40e8f
1 parent e0e654b
commit 8f40e8f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git 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
@@ -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 */