--- a/doc-src/Codegen/Thy/examples/Example.hs Thu Dec 16 09:10:38 2010 +0100
+++ b/doc-src/Codegen/Thy/examples/Example.hs Thu Dec 16 09:26:46 2010 +0100
@@ -1,4 +1,4 @@
-{-# OPTIONS_GHC -fglasgow-exts #-}
+{-# LANGUAGE ScopedTypeVariables #-}
module Example where {