# HG changeset patch
# User wenzelm
# Date 954532861 -7200
# Node ID 140883a538c1709344b5a6609f4ce9838381d5ae
# Parent  978db2870862e1e23a06b1ab7471b5c877d5347a
made SML/XL happy;

diff -r 978db2870862 -r 140883a538c1 TFL/tfl.sml
--- a/TFL/tfl.sml	Fri Mar 31 22:00:36 2000 +0200
+++ b/TFL/tfl.sml	Fri Mar 31 22:01:01 2000 +0200
@@ -121,8 +121,8 @@
 fun pattern_subst theta = pattern_map (subst_free theta);
 
 val pat_of = fst;
-val row_of_pat = fst o snd;
-val given = snd o snd;
+fun row_of_pat x = fst (snd x);
+fun given x = snd (snd x);
 
 (*---------------------------------------------------------------------------
  * Produce an instance of a constructor, plus genvars for its arguments.