src/Pure/ML/ml_antiquote.ML
changeset 30364 577edc39b501
parent 30280 eb98b49ef835
child 30513 1796b8ea88aa
     1.1 --- a/src/Pure/ML/ml_antiquote.ML	Sun Mar 08 17:19:15 2009 +0100
     1.2 +++ b/src/Pure/ML/ml_antiquote.ML	Sun Mar 08 17:26:14 2009 +0100
     1.3 @@ -110,7 +110,7 @@
     1.4  
     1.5  fun type_ syn = (Args.context -- Scan.lift Args.name_source >> (fn (ctxt, c) =>
     1.6      #1 (Term.dest_Type (ProofContext.read_tyname ctxt c))
     1.7 -    |> syn ? NameSpace.base_name
     1.8 +    |> syn ? Long_Name.base_name
     1.9      |> ML_Syntax.print_string));
    1.10  
    1.11  val _ = inline "type_name" (type_ false);