src/Pure/Thy/thy_output.ML
changeset 30398 d7ac4b7aa590
parent 30394 c11a1e65a2ed
child 30513 1796b8ea88aa
     1.1 --- a/src/Pure/Thy/thy_output.ML	Mon Mar 09 21:25:33 2009 +0100
     1.2 +++ b/src/Pure/Thy/thy_output.ML	Mon Mar 09 21:26:13 2009 +0100
     1.3 @@ -105,7 +105,7 @@
     1.4  
     1.5  fun antiquotation name scan out = add_commands [(name, fn src => fn state =>
     1.6    let val (x, ctxt) = Args.context_syntax "document antiquotation"
     1.7 -    scan src (Toplevel.presentation_context_of state NONE)
     1.8 +    scan src (Toplevel.presentation_context_of state)
     1.9    in out {source = src, state = state, context = ctxt} x end)];
    1.10  
    1.11