src/Pure/Pure.thy
changeset 67386 998e01d6f8fd
parent 67283 0493be7f2d9b
child 67446 1f4d167b6ac9
     1.1 --- a/src/Pure/Pure.thy	Tue Jan 09 15:18:41 2018 +0100
     1.2 +++ b/src/Pure/Pure.thy	Tue Jan 09 15:40:12 2018 +0100
     1.3 @@ -1145,7 +1145,7 @@
     1.4    Outer_Syntax.command \<^command_keyword>\<open>print_antiquotations\<close>
     1.5      "print document antiquotations"
     1.6      (Parse.opt_bang >> (fn b =>
     1.7 -      Toplevel.keep (Thy_Output.print_antiquotations b o Toplevel.context_of)));
     1.8 +      Toplevel.keep (Document_Antiquotation.print_antiquotations b o Toplevel.context_of)));
     1.9  
    1.10  val _ =
    1.11    Outer_Syntax.command \<^command_keyword>\<open>print_ML_antiquotations\<close>