1.1 --- a/src/Pure/ML/ml_antiquote.ML	Wed Mar 25 21:34:31 2009 +0100
     1.2 +++ b/src/Pure/ML/ml_antiquote.ML	Wed Mar 25 21:35:49 2009 +0100
     1.3 @@ -59,7 +59,7 @@
     1.4  
     1.5  structure P = OuterParse;
     1.6  
     1.7 -val _ = inline "binding"
     1.8 +val _ = value "binding"
     1.9    (Scan.lift (P.position Args.name) >> (fn name => ML_Syntax.atomic (ML_Syntax.make_binding name)));
    1.10  
    1.11  val _ = value "theory"