diff --git a/src/main/scala/leon/purescala/Constructors.scala b/src/main/scala/leon/purescala/Constructors.scala
index 8597a0af22859ba0f730a0b534dd0b244a79a2c0..02ac92f8f4b6f7fc5b5b5ab68c0db193fda7a243 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  {