# HG changeset patch
# User haftmann
# Date 1391022698 -3600
# Node ID f3ac344284ff02e0e95918f190cb167c53efcdc9
# Parent  4d80d91cb447437434873418cc3ca3015121894b
made smlnj happy

diff -r 4d80d91cb447 -r f3ac344284ff src/Tools/nbe.ML
--- a/src/Tools/nbe.ML	Wed Jan 29 17:09:46 2014 +0000
+++ b/src/Tools/nbe.ML	Wed Jan 29 20:11:38 2014 +0100
@@ -506,7 +506,7 @@
   | typ_of_itype vs (ITyVar v) =
       TFree ("'" ^ v, (the o AList.lookup (op =) vs) v);
 
-fun term_of_univ thy idx_tab t =
+fun term_of_univ thy (idx_tab : Code_Symbol.T Inttab.table) t =
   let
     fun take_until f [] = []
       | take_until f (x :: xs) = if f x then [] else x :: take_until f xs;