diff --git a/src/main/scala/leon/package.scala b/src/main/scala/leon/package.scala
index bdf3a9e53c0d0425859ecb9ef29133f03925349d..69f9be0b371238342f2ca1cf0bde770fe1555604 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
   }
 }