# HG changeset patch
# User haftmann
# Date 1292403996 -3600
# Node ID d5f0e556ffd387d9f9c899bc2b6304b50237a234
# Parent  5c6f44d22f516ecd4ad3ecb62282a49483fd04d8
updated generated files

diff -r 5c6f44d22f51 -r d5f0e556ffd3 doc-src/Codegen/Thy/document/Evaluation.tex
--- a/doc-src/Codegen/Thy/document/Evaluation.tex	Wed Dec 15 09:47:12 2010 +0100
+++ b/doc-src/Codegen/Thy/document/Evaluation.tex	Wed Dec 15 10:06:36 2010 +0100
@@ -231,7 +231,7 @@
     & conversion & \ttsize\verb|Code_Simp.dynamic_conv| & \ttsize\verb|Nbe.dynamic_conv|
       & \ttsize\verb|Code_Evaluation.dynamic_conv| \tabularnewline \hline \hline
     \multirow{3}{1ex}{\rotatebox{90}{static}}
-      & plain evaluation & & & \ttsize\verb|Code_Evaluation.static_value| \tabularnewline \cline{2-5}
+    & plain evaluation & & & \ttsize\verb|Code_Evaluation.static_value| \tabularnewline \cline{2-5}
     & property conversion & &
       & \ttsize\verb|Code_Runtime.static_holds_conv| \tabularnewline \cline{2-5}
     & conversion & \ttsize\verb|Code_Simp.static_conv|
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 {