# HG changeset patch
# User wenzelm
# Date 1316350545 -7200
# Node ID 52f809bc540213324d5c16d00cc041253e0d7eef
# Parent  c56a400592580e4b2ca79e71e1ee69f63fec2e4b
updated generated file;

diff -r c56a40059258 -r 52f809bc5402 doc-src/Codegen/Thy/examples/Example.hs
--- a/doc-src/Codegen/Thy/examples/Example.hs	Sun Sep 18 14:55:27 2011 +0200
+++ b/doc-src/Codegen/Thy/examples/Example.hs	Sun Sep 18 14:55:45 2011 +0200
@@ -1,4 +1,4 @@
-{-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE EmptyDataDecls, RankNTypes, ScopedTypeVariables #-}
 
 module Example where {