1.1 --- a/src/HOL/ex/Reflection.thy	Fri Jul 06 16:09:26 2007 +0200
     1.2 +++ b/src/HOL/ex/Reflection.thy	Fri Jul 06 16:09:27 2007 +0200
     1.3 @@ -17,7 +17,6 @@
     1.4    by (blast intro: ext)
     1.5  
     1.6  use "reflection.ML"
     1.7 -ML{* Reify_Data.get @{context}*}
     1.8  
     1.9  method_setup reify = {*
    1.10    fn src =>