src/Pure/Isar/expression.ML
changeset 28862 53f13f763d4f
parent 28859 d50b523c55db
child 28872 686963dbf6cd
     1.1 --- a/src/Pure/Isar/expression.ML	Thu Nov 20 14:55:25 2008 +0100
     1.2 +++ b/src/Pure/Isar/expression.ML	Thu Nov 20 14:55:28 2008 +0100
     1.3 @@ -165,7 +165,7 @@
     1.4                    (* FIXME: should check for bindings being the same.
     1.5                       Instead we check for equal name and syntax. *)
     1.6                    if mx1 = mx2 then mx1
     1.7 -                  else error ("Conflicting syntax for parameter" ^ quote (Name.name_of p) ^
     1.8 +                  else error ("Conflicting syntax for parameter" ^ quote (Name.display p) ^
     1.9                      " in expression.")) (ps, ps')
    1.10                in (i', ps'') end) is []
    1.11            in