diff -r e20f0d0e2af3 -r b0b975e197b5 doc-src/Codegen/Thy/examples/Example.hs
--- 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 {