--- 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 {