--- a/doc-src/Codegen/Thy/examples/Example.hs Wed Dec 15 09:47:12 2010 +0100
+++ b/doc-src/Codegen/Thy/examples/Example.hs Wed Dec 15 10:06:36 2010 +0100
@@ -1,4 +1,4 @@
-{-# OPTIONS_GHC -fglasgow-exts #-}
+{-# LANGUAGE ScopedTypeVariables #-}
module Example where {