From b1749d96c57ff03938116c020f0850652503685b Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 20 Apr 2016 16:08:30 +0200
Subject: [PATCH] equality gets inferred to weird product type
---
src/main/scala/leon/purescala/Constructors.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/Constructors.scala b/src/main/scala/leon/purescala/Constructors.scala
index 8597a0af2..02ac92f8f 100644
--- a/src/main/scala/leon/purescala/Constructors.scala
+++ b/src/main/scala/leon/purescala/Constructors.scala
@@ -289,7 +289,7 @@ object Constructors {
* @see [[purescala.Expressions.Equals Equals]]
*/
// @mk I simplified that because it seemed dangerous and unnessecary
- def equality(a: Expr, b: Expr) = {
+ def equality(a: Expr, b: Expr): Expr = {
if (a.isInstanceOf[Terminal] && isPurelyFunctional(a) && a == b ) {
BooleanLiteral(true)
} else {
--
GitLab