# HG changeset patch
# User wenzelm
# Date 1320855146 -3600
# Node ID 4548b8e1ba12c74e36c67eecac449cafc3a75fc4
# Parent  7fee7d7abf2f3419e49df0a0082ee17794b31ee9
tuned;

diff -r 7fee7d7abf2f -r 4548b8e1ba12 src/Pure/variable.ML
--- a/src/Pure/variable.ML	Wed Nov 09 17:08:40 2011 +0100
+++ b/src/Pure/variable.ML	Wed Nov 09 17:12:26 2011 +0100
@@ -223,10 +223,10 @@
       (fn Free (x, T) => Vartab.update ((x, ~1), T)
         | Var v => Vartab.update v
         | _ => I) t types;
-    val sorts' = fold_types (fold_atyps
+    val sorts' = (fold_types o fold_atyps)
       (fn TFree (x, S) => constrain_tvar ((x, ~1), S)
         | TVar v => constrain_tvar v
-        | _ => I)) t sorts;
+        | _ => I) t sorts;
   in (types', sorts') end)
   #> declare_type_occsT t
   #> declare_type_names t;