--- a/doc-src/Codegen/Thy/document/Adaptation.tex Thu May 14 08:22:07 2009 +0200
+++ b/doc-src/Codegen/Thy/document/Adaptation.tex Thu May 14 09:16:33 2009 +0200
@@ -166,7 +166,7 @@
\isa{index} which is mapped to target-language built-in integers.
Useful for code setups which involve e.g. indexing of
target-language arrays.
- \item[\hyperlink{theory.Code-Message}{\mbox{\isa{Code{\isacharunderscore}Message}}}] provides an additional datatype
+ \item[\hyperlink{theory.String}{\mbox{\isa{String}}}] provides an additional datatype
\isa{message{\isacharunderscore}string} which is isomorphic to strings;
\isa{message{\isacharunderscore}string}s are mapped to target-language strings.
Useful for code setups which involve e.g. printing (error) messages.