From 2cb8a5a5046cb779c9ff29b96bb47d50feea010c Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 8 Aug 2016 14:46:36 +0200
Subject: [PATCH] Type parameters not needed here

---
 src/main/scala/inox/utils/StreamUtils.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/scala/inox/utils/StreamUtils.scala b/src/main/scala/inox/utils/StreamUtils.scala
index a70addd07..fe617437a 100644
--- a/src/main/scala/inox/utils/StreamUtils.scala
+++ b/src/main/scala/inox/utils/StreamUtils.scala
@@ -45,7 +45,7 @@ object StreamUtils {
   /** Combines two streams into one using cantor's unpairing function.
     *  Ensures that the stream terminates if both streams terminate */
   def cartesianProduct[A, B](sa: Stream[A], sb: Stream[B]): Stream[(A, B)] = {
-    def combineRec[A, B](sa: Stream[A], sb: Stream[B])(i: Int): Stream[(A, B)] = {
+    def combineRec(sa: Stream[A], sb: Stream[B])(i: Int): Stream[(A, B)] = {
       val (x, y) = reverseCantorPair(i)
       if(!sa.isDefinedAt(x) && !sb.isDefinedAt(y)) Stream.Empty
       else if(sa.isDefinedAt(x) && sb.isDefinedAt(y)) (sa(x), sb(y)) #:: combineRec(sa, sb)(i+1)
-- 
GitLab