src/Tools/nbe.ML
changeset 55167 f3ac344284ff
parent 55150 0940309ed8f1
child 55757 9fc71814b8c1
     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;