src/Pure/Isar/expression.ML
changeset 28701 ca5840b1f7b3
parent 28697 140bfb63f893
child 28795 6891e273c33b
     1.1 --- a/src/Pure/Isar/expression.ML	Tue Oct 28 11:05:44 2008 +0100
     1.2 +++ b/src/Pure/Isar/expression.ML	Tue Oct 28 12:28:14 2008 +0100
     1.3 @@ -85,7 +85,7 @@
     1.4     Sanity check of instantiations.
     1.5     Positional instantiations are extended to match full length of parameter list. *)
     1.6  
     1.7 -fun parameters thy (expr, fixed) =
     1.8 +fun parameters thy (expr, fixed : (Name.binding * string option * mixfix) list) =
     1.9    let
    1.10      fun reject_dups message xs =
    1.11        let val dups = duplicates (op =) xs