diff --git a/library/Option.scala b/library/Option.scala
index e35fc9a0fb36f3701caf51d9845bad976e97351a..8769f3386af8893616c4c0b4954dfcfc76463df3 100644
--- a/library/Option.scala
+++ b/library/Option.scala
@@ -6,6 +6,14 @@ import leon.annotation._
 
 @library
 sealed abstract class Option[T] {
+
+  def get : T = {
+    require(this.isDefined)
+    this match {
+      case Some(x) => x
+    }
+  }
+
   def getOrElse(default: T) = this match {
     case Some(v) => v
     case None()  => default