src/Pure/simplifier.ML
changeset 67146 909dcdec2122
parent 64556 851ae0e7b09c
child 67147 dea94b1aabc3
     1.1 --- a/src/Pure/simplifier.ML	Wed Dec 06 14:19:36 2017 +0100
     1.2 +++ b/src/Pure/simplifier.ML	Wed Dec 06 15:46:35 2017 +0100
     1.3 @@ -113,7 +113,7 @@
     1.4  
     1.5  val _ = Theory.setup
     1.6    (ML_Antiquotation.value @{binding simproc}
     1.7 -    (Args.context -- Scan.lift (Parse.position Args.name)
     1.8 +    (Args.context -- Scan.lift (Parse.position Args.embedded)
     1.9        >> (fn (ctxt, name) =>
    1.10          "Simplifier.the_simproc ML_context " ^ ML_Syntax.print_string (check_simproc ctxt name))));
    1.11