Remove redundant where constraint

Ecdar · Nov 13, 2023 · 28317e5 · 28317e5
1 parent 1845e1f
commit 28317e5
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/src/api/ecdar_api.rs b/src/api/ecdar_api.rs
@@ -71,10 +71,7 @@ impl ConcreteEcdarApi {
         query_context: Arc<dyn QueryContextTrait>,
         session_context: Arc<dyn SessionContextTrait>,
         in_use_context: Arc<dyn InUseContextTrait>,
-    ) -> Self
-    where
-        Self: Sized,
-    {
+    ) -> Self {
         ConcreteEcdarApi {
             reveaal_address: env::var("REVEAAL_ADDRESS")
                 .expect("Expected REVEAAL_ADDRESS to be set."),