# HG changeset patch
# User haftmann
# Date 1366304123 -7200
# Node ID 4fd969609b4d92c1742d1f438866f37016044873
# Parent  30624dab6054c6b41ec97eaacc0bdcef64104073
spelling

diff -r 30624dab6054 -r 4fd969609b4d src/Doc/Codegen/Evaluation.thy
--- a/src/Doc/Codegen/Evaluation.thy	Wed Apr 17 21:23:35 2013 +0200
+++ b/src/Doc/Codegen/Evaluation.thy	Thu Apr 18 18:55:23 2013 +0200
@@ -156,7 +156,7 @@
   @{text "SOME t'"} in the first case, @{text "NONE"} in the
   second, and propagating the exception in the third case.  A strict
   variant of plain evaluation either yields @{text "t'"} or propagates
-  any exception, a liberal variant caputures any exception in a result
+  any exception, a liberal variant captures any exception in a result
   of type @{text "Exn.result"}.
   
   For property conversion (which coincides with conversion except for