tuned
authorhaftmann
Thu Jan 15 13:39:41 2015 +0100 (2015-01-15)
changeset 59379c7f6f01ede15
parent 59378 065f349852e6
child 59380 e7d237c2ce93
child 59381 de4218223e00
tuned
src/Doc/Codegen/Adaptation.thy
     1.1 --- a/src/Doc/Codegen/Adaptation.thy	Thu Jan 15 13:39:41 2015 +0100
     1.2 +++ b/src/Doc/Codegen/Adaptation.thy	Thu Jan 15 13:39:41 2015 +0100
     1.3 @@ -370,7 +370,8 @@
     1.4  \<close>
     1.5  
     1.6  code_printing %quotett
     1.7 -  code_module "Errno" \<rightharpoonup> (Haskell) \<open>errno i = error ("Error number: " ++ show i)\<close>
     1.8 +  code_module "Errno" \<rightharpoonup> (Haskell)
     1.9 +    \<open>errno i = error ("Error number: " ++ show i)\<close>
    1.10  
    1.11  code_reserved %quotett Haskell Errno
    1.12