made smlnj happy
authorhaftmann
Wed Jan 29 20:11:38 2014 +0100 (2014-01-29)
changeset 55167f3ac344284ff
parent 55166 4d80d91cb447
child 55168 948e8b7ea82f
made smlnj happy
src/Tools/nbe.ML
     1.1 --- a/src/Tools/nbe.ML	Wed Jan 29 17:09:46 2014 +0000
     1.2 +++ b/src/Tools/nbe.ML	Wed Jan 29 20:11:38 2014 +0100
     1.3 @@ -506,7 +506,7 @@
     1.4    | typ_of_itype vs (ITyVar v) =
     1.5        TFree ("'" ^ v, (the o AList.lookup (op =) vs) v);
     1.6  
     1.7 -fun term_of_univ thy idx_tab t =
     1.8 +fun term_of_univ thy (idx_tab : Code_Symbol.T Inttab.table) t =
     1.9    let
    1.10      fun take_until f [] = []
    1.11        | take_until f (x :: xs) = if f x then [] else x :: take_until f xs;