diff --git a/src/internal/core.rs b/src/internal/core.rs index 51de3c65..9ef59746 100644 --- a/src/internal/core.rs +++ b/src/internal/core.rs @@ -114,8 +114,8 @@ impl State { pub(crate) fn unit_propagation( &mut self, package: Id, - ) -> Result, IncompDpId)>, NoSolutionError> { - let mut root_causes = Vec::new(); + ) -> Result, IncompDpId)>, NoSolutionError> { + let mut root_causes = SmallVec::default(); self.unit_propagation_buffer.clear(); self.unit_propagation_buffer.push(package); while let Some(current_package) = self.unit_propagation_buffer.pop() {