# HG changeset patch
# User haftmann
# Date 1225193294 -3600
# Node ID ca5840b1f7b3851050d034dc271cf02e07f94416
# Parent  fb92b1d1b28538cdd4720ce3817c4c8c13cf851f
making SMLNJ happy

diff -r fb92b1d1b285 -r ca5840b1f7b3 src/Pure/Isar/expression.ML
--- a/src/Pure/Isar/expression.ML	Tue Oct 28 11:05:44 2008 +0100
+++ b/src/Pure/Isar/expression.ML	Tue Oct 28 12:28:14 2008 +0100
@@ -85,7 +85,7 @@
    Sanity check of instantiations.
    Positional instantiations are extended to match full length of parameter list. *)
 
-fun parameters thy (expr, fixed) =
+fun parameters thy (expr, fixed : (Name.binding * string option * mixfix) list) =
   let
     fun reject_dups message xs =
       let val dups = duplicates (op =) xs