# HG changeset patch
# User wenzelm
# Date 1120501250 -7200
# Node ID 4ffc943c9c75b7941f02dfa3db284f831e0f909e
# Parent  7b58002668c07f3abe3c4268f9e683acd65628b2
made smlnj happy;

diff -r 7b58002668c0 -r 4ffc943c9c75 src/Pure/simplifier.ML
--- a/src/Pure/simplifier.ML	Mon Jul 04 20:13:39 2005 +0200
+++ b/src/Pure/simplifier.ML	Mon Jul 04 20:20:50 2005 +0200
@@ -475,10 +475,10 @@
   Args.parens (Args.$$$ asm_lrN) >> K asm_lr_simp_tac ||
   Scan.succeed asm_full_simp_tac);
 
-val simp_flags = Scan.repeat
+fun simp_flags x = (Scan.repeat
   (Args.parens (Args.$$$ "depth_limit" -- Args.colon |-- Args.nat)
     >> setmp MetaSimplifier.simp_depth_limit)
-  >> curry (Library.foldl op o) I;
+  >> curry (Library.foldl op o) I) x;
 
 val cong_modifiers =
  [Args.$$$ congN -- Args.colon >> K ((I, cong_add_local):Method.modifier),