diff --git a/solver/src/solver/search/conflicts.rs b/solver/src/solver/search/conflicts.rs
index d2108000..e697de11 100644
--- a/solver/src/solver/search/conflicts.rs
+++ b/solver/src/solver/search/conflicts.rs
@@ -346,9 +346,8 @@ impl ConflictBasedBrancher {
         }
     }
 
-    pub fn set_default_value(&mut self, _var: VarRef, _val: IntCst) {
-        todo!()
-        // self.default_assignment.values.insert(var, val);
+    pub fn set_default_value(&mut self, var: VarRef, val: IntCst) {
+        self.default_assignment.set_from_phase(var, val)
     }
 
     /// Increase the activity of the variable and perform an reordering in the queue.