# HG changeset patch
# User wenzelm
# Date 1243855974 -7200
# Node ID 89f218fcab2a53595fb30ec7296b311bec20a2d9
# Parent  526e149999cc547361a5ff18ff293d5831480439
made SML/NJ happy;

diff -r 526e149999cc -r 89f218fcab2a src/Pure/Isar/attrib.ML
--- a/src/Pure/Isar/attrib.ML	Sun May 31 19:05:20 2009 +0200
+++ b/src/Pure/Isar/attrib.ML	Mon Jun 01 13:32:54 2009 +0200
@@ -240,7 +240,7 @@
 
 (* rename_abs *)
 
-val rename_abs = Scan.repeat (Args.maybe Args.name) >> (apsnd o Drule.rename_bvars');
+fun rename_abs x = (Scan.repeat (Args.maybe Args.name) >> (apsnd o Drule.rename_bvars')) x;
 
 
 (* unfold / fold definitions *)