WIP

conjure-cp · Dec 17, 2024 · c7cf943 · c7cf943
1 parent b0066d6
commit c7cf943
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crates/conjure_core/src/solver/adaptors/rustsat.rs b/crates/conjure_core/src/solver/adaptors/rustsat.rs
@@ -106,7 +106,7 @@ pub fn instantiate_model_from_conjure(
     Ok(inst)
 }
 
-fn solve(&mut solver_inst: Minisat, model_inst: SatInstance) -> bool {
+fn solve(solver_inst: &mut Minisat, model_inst: SatInstance) -> bool {
 
     let cnf_func: rustsat::instances::Cnf = model_inst.clone().into_cnf().0;
     solver_inst.add_cnf(cnf_func);