fix function signature for assert-soft

oeb25 · Dec 19, 2024 · 7c842e9 · 7c842e9
1 parent 4ae57d0
commit 7c842e9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/smtlib/src/solver.rs b/smtlib/src/solver.rs
@@ -131,7 +131,7 @@ where
     }
 
     /// Adds soft-constraint `b` to the solver.
-    pub fn assert_soft<S>(&mut self, b: Bool) -> Result<(), Error> where S: Sorted {
+    pub fn assert_soft(&mut self, b: Bool) -> Result<(), Error> {
         let term = b.into();
 
         self.declare_all_consts(&term)?;