# HG changeset patch
# User wenzelm
# Date 1366020196 -7200
# Node ID 21d7933de1ebf7bc3f1b09862d18629832e65eac
# Parent  0a4b4735d8bdb0f64743fa82997e43b3b8d67916
make SML/NJ happy;

diff -r 0a4b4735d8bd -r 21d7933de1eb src/Pure/envir.ML
--- a/src/Pure/envir.ML	Mon Apr 15 10:41:03 2013 +0200
+++ b/src/Pure/envir.ML	Mon Apr 15 12:03:16 2013 +0200
@@ -117,7 +117,7 @@
   of unification, there is no need to chase assigned TVars.
   In this case, we can simply ignore the type substitution
   and use = instead of eq_type.*)
-val lookup1 = lookup_check (op =);
+fun lookup1 tenv = lookup_check (op =) tenv;
 
 fun lookup2 (tyenv, tenv) = lookup_check (Type.eq_type tyenv) tenv;