src/Pure/consts.ML
changeset 19673 853f5a3cc06e
parent 19657 25eaa3660123
child 19677 9d54d6d3bc28
     1.1 --- a/src/Pure/consts.ML	Wed May 17 01:23:44 2006 +0200
     1.2 +++ b/src/Pure/consts.ML	Wed May 17 01:23:46 2006 +0200
     1.3 @@ -120,7 +120,7 @@
     1.4  fun syntax consts (c, mx) =
     1.5    let
     1.6      val ((T, _), early) = the_const consts c handle TYPE (msg, _, _) => error msg;
     1.7 -    val c' = if early then NameSpace.base c else #1 (Syntax.mixfix_const c mx);
     1.8 +    val c' = if early then NameSpace.base c else Syntax.constN ^ c;
     1.9    in (c', T, mx) end;
    1.10  
    1.11