diff -r 254ac75e4c38 -r 0928909af6aa doc-src/Codegen/Thy/examples/Example.hs
--- a/doc-src/Codegen/Thy/examples/Example.hs	Wed Dec 23 08:31:14 2009 +0100
+++ b/doc-src/Codegen/Thy/examples/Example.hs	Wed Dec 23 08:31:14 2009 +0100
@@ -2,7 +2,6 @@
 
 module Example where {
 
-
 foldla :: forall a b. (a -> b -> a) -> a -> [b] -> a;
 foldla f a [] = a;
 foldla f a (x : xs) = foldla f (f a x) xs;