# HG changeset patch
# User haftmann
# Date 1221810077 -7200
# Node ID 9efd7d4fa2f27ec5f93106bacfdb7b4589bcec3a
# Parent  3fb78d2068b013ff2c7244d1e193ab00d19a8e1f
made SMLNJ happy

diff -r 3fb78d2068b0 -r 9efd7d4fa2f2 src/Tools/nbe.ML
--- a/src/Tools/nbe.ML	Thu Sep 18 22:30:17 2008 +0200
+++ b/src/Tools/nbe.ML	Fri Sep 19 09:41:17 2008 +0200
@@ -291,7 +291,7 @@
 
 (* term evaluation *)
 
-fun eval_term ctxt gr deps ((vs, ty), t) =
+fun eval_term ctxt gr deps ((vs, ty) : typscheme, t) =
   let 
     val frees = Code_Thingol.fold_unbound_varnames (insert (op =)) t []
     val frees' = map (fn v => Free (v, [])) frees;