# HG changeset patch
# User wenzelm
# Date 1310418904 -7200
# Node ID 50ce6f602931f19dccecafd5fa9f88209b553459
# Parent  e72ba84ae58fb0397b1ee6a33f1acf1cfed3b667
tuned;

diff -r e72ba84ae58f -r 50ce6f602931 src/Pure/General/exn.scala
--- a/src/Pure/General/exn.scala	Mon Jul 11 22:55:47 2011 +0200
+++ b/src/Pure/General/exn.scala	Mon Jul 11 23:15:04 2011 +0200
@@ -12,8 +12,8 @@
   /* runtime exceptions as values */
 
   sealed abstract class Result[A]
-  case class Res[A](val result: A) extends Result[A]
-  case class Exn[A](val exn: Throwable) extends Result[A]
+  case class Res[A](res: A) extends Result[A]
+  case class Exn[A](exn: Throwable) extends Result[A]
 
   def capture[A](e: => A): Result[A] =
     try { Res(e) }