1.1 --- a/doc-src/antiquote_setup.ML	Wed Sep 17 21:27:36 2008 +0200
     1.2 +++ b/doc-src/antiquote_setup.ML	Wed Sep 17 21:27:38 2008 +0200
     1.3 @@ -75,7 +75,7 @@
     1.4        else txt1 ^ ": " ^ txt2;
     1.5      val txt' = if kind = "" then txt else kind ^ " " ^ txt;
     1.6      val _ = writeln (ml (txt1, txt2));
     1.7 -    val _ = ML_Context.eval_in (SOME (Context.Proof ctxt)) false Position.none (ml (txt1, txt2));
     1.8 +    val _ = ML_Context.eval_in (SOME ctxt) false Position.none (ml (txt1, txt2));
     1.9    in
    1.10      "\\indexml" ^ kind ^ enclose "{" "}" (clean_string txt1) ^
    1.11      ((if ! O.source then str_of_source src else txt')