diff options
| author | Burak Emir <emir@epfl.ch> | 2007-01-03 14:09:48 +0000 |
|---|---|---|
| committer | Burak Emir <emir@epfl.ch> | 2007-01-03 14:09:48 +0000 |
| commit | 02a45e20bb6f68808708dca377bc72ccaf5bba3d (patch) | |
| tree | b32bcac753258beb9ff69c25754bce917a0189ad /src/library/scala/Product1.scala | |
| parent | 0ca21a065351c5952d4ea6bc7a998729a43ded50 (diff) | |
| download | scala-02a45e20bb6f68808708dca377bc72ccaf5bba3d.tar.gz scala-02a45e20bb6f68808708dca377bc72ccaf5bba3d.tar.bz2 scala-02a45e20bb6f68808708dca377bc72ccaf5bba3d.zip | |
Diffstat (limited to 'src/library/scala/Product1.scala')
| -rw-r--r-- | src/library/scala/Product1.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/library/scala/Product1.scala b/src/library/scala/Product1.scala index 62382949ae..3428ddeb64 100644 --- a/src/library/scala/Product1.scala +++ b/src/library/scala/Product1.scala @@ -9,14 +9,14 @@ // $Id: genprod.scala 9543 2007-01-02 16:51:29Z emir $ -// generated by genprod on Wed Jan 03 13:31:53 CET 2007 +// generated by genprod on Wed Jan 03 13:46:54 CET 2007 package scala import Predef._ object Product1 { - def unapply[T1](x: Product1[T1]): Some[Product1[T1]] = + def unapply[T1](x: Product1[T1]): Option[Product1[T1]] = Some(x) } |