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