src/Pure/Isar/isar_syn.ML
changeset 56006 6a4dcaf53664
parent 56005 4f4fc80b0613
child 56065 600781e03bf6
     1.1 --- a/src/Pure/Isar/isar_syn.ML	Sun Mar 09 17:08:31 2014 +0100
     1.2 +++ b/src/Pure/Isar/isar_syn.ML	Sun Mar 09 17:37:34 2014 +0100
     1.3 @@ -130,7 +130,7 @@
     1.4  
     1.5  val trans_pat =
     1.6    Scan.optional
     1.7 -    (@{keyword "("} |-- Parse.!!! (Parse.xname --| @{keyword ")"})) "logic"
     1.8 +    (@{keyword "("} |-- Parse.!!! (Parse.inner_syntax Parse.xname --| @{keyword ")"})) "logic"
     1.9      -- Parse.inner_syntax Parse.string;
    1.10  
    1.11  fun trans_arrow toks =