diff --git a/src/main/scala/leon/termination/RelationProcessor.scala b/src/main/scala/leon/termination/RelationProcessor.scala
index df39e0ad7c748b7c38d9721a04f37977a419e6d9..d4d1aad73f1c17d9f9ff323f38e19707a7356ae2 100644
--- a/src/main/scala/leon/termination/RelationProcessor.scala
+++ b/src/main/scala/leon/termination/RelationProcessor.scala
@@ -24,8 +24,7 @@ class RelationProcessor(
     reporter.debug("- Strengthening applications")
     checker.strengthenApplications(problem.funSet)(this)
 
-    val formulas: Set[(FunDef, Set[(FunDef, (Expr, Expr))])] =
-    problem.funDefs.map({ funDef =>
+    val formulas = problem.funDefs.map({ funDef =>
       funDef -> checker.getRelations(funDef).collect({
         case Relation(_, path, FunctionInvocation(tfd, args), _) if problem.funSet(tfd.fd) =>
           val (e1, e2) = (tupleWrap(funDef.params.map(_.toVariable)), tupleWrap(args))