# HG changeset patch
# User wenzelm
# Date 1008261896 -3600
# Node ID d2a2c479b3cb639a4bde78b1f5f5a11334e99118
# Parent  c92e38c3cbaa44c61a9c8596b1446b1450fbeefc
made SML/XL happy;

diff -r c92e38c3cbaa -r d2a2c479b3cb src/Pure/codegen.ML
--- a/src/Pure/codegen.ML	Thu Dec 13 16:48:34 2001 +0100
+++ b/src/Pure/codegen.ML	Thu Dec 13 17:44:56 2001 +0100
@@ -73,7 +73,7 @@
   | args_of (Ignore :: ms) (_ :: xs) = args_of ms xs
   | args_of (_ :: ms) xs = args_of ms xs;
 
-val num_args = length o filter is_arg;
+fun num_args x = length (filter is_arg x);
 
 
 (**** theory data ****)