From 7c842e9e7b2bd4ed14d99fbf7b1d339f84d6f1c7 Mon Sep 17 00:00:00 2001
From: Tim Beurskens <tim.beurskens@simpl.energy>
Date: Thu, 19 Dec 2024 13:48:30 +0100
Subject: [PATCH] fix function signature for assert-soft

---
 smtlib/src/solver.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/smtlib/src/solver.rs b/smtlib/src/solver.rs
index b7f45b5..a483873 100644
--- 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)?;