diff -r 5bef6c7cc819 -r 19b77b1de188 doc-src/Codegen/Thy/examples/Example.hs
--- a/doc-src/Codegen/Thy/examples/Example.hs	Wed Jun 10 11:12:40 2009 +0200
+++ b/doc-src/Codegen/Thy/examples/Example.hs	Wed Jun 10 11:28:39 2009 +0200
@@ -23,9 +23,9 @@
 dequeue (AQueue [] []) = (Nothing, AQueue [] []);
 dequeue (AQueue xs (y : ys)) = (Just y, AQueue xs ys);
 dequeue (AQueue (v : va) []) =
-  let {
+  (let {
     (y : ys) = rev (v : va);
-  } in (Just y, AQueue [] ys);
+  } in (Just y, AQueue [] ys) );
 
 enqueue :: forall a. a -> Queue a -> Queue a;
 enqueue x (AQueue xs ys) = AQueue (x : xs) ys;