# HG changeset patch
# User haftmann
# Date 1487794343 -3600
# Node ID 0940a741adf7c2b97ed125ff4b8895c08cf487a8
# Parent  fd753468786f5cb649ff721d70f8751be26c9226
more correct wording

diff -r fd753468786f -r 0940a741adf7 src/Doc/Codegen/Computations.thy
--- a/src/Doc/Codegen/Computations.thy	Wed Feb 22 20:34:24 2017 +0100
+++ b/src/Doc/Codegen/Computations.thy	Wed Feb 22 21:12:23 2017 +0100
@@ -145,7 +145,7 @@
         \<^item> Both statically specified input constants and dynamically provided input
           terms are subject to preprocessing.  Likewise the result
           is supposed to be subject to postprocessing; the implementor
-          is expected this out explicitly.
+          is expected to take care for this explicitly.
 
         \<^item> Computations follow the partiality principle (cf.~\secref{sec:partiality_principle}):
           failures due to pattern matching or unspecified functions