From 8ee655c3ffd61c070b6ed7e049ba739f8ae4ea14 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 6 Apr 2016 15:03:26 +0200
Subject: [PATCH] boolean.option should take param. by value
---
src/main/scala/leon/package.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/package.scala b/src/main/scala/leon/package.scala
index bdf3a9e53..69f9be0b3 100644
--- a/src/main/scala/leon/package.scala
+++ b/src/main/scala/leon/package.scala
@@ -6,6 +6,6 @@
*/
package object leon {
implicit class BooleanToOption(cond: Boolean) {
- def option[A](v: A) = if (cond) Some(v) else None
+ def option[A](v: => A) = if (cond) Some(v) else None
}
}
--
GitLab