src/Pure/Isar/attrib.ML

--- a/src/Pure/Isar/attrib.ML	Wed May 09 23:28:18 2007 +0200
+++ b/src/Pure/Isar/attrib.ML	Thu May 10 00:39:45 2007 +0200
@@ -252,7 +252,8 @@
   let val ((_, [th']), _) = Variable.import_thms true [th] (Context.proof_of ctxt)
   in th' end)) x;
 
-fun eta_long x = no_args (Thm.rule_attribute (K (Drule.fconv_rule Drule.eta_long_conversion))) x;
+fun eta_long x =
+  no_args (Thm.rule_attribute (K (Conv.fconv_rule Drule.eta_long_conversion))) x;
 
 
 (* internal attribute *)